./wip/csp2b, The csp2B Tool written in Moscow ML

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 1.2, Package name: csp2b-1.2, Maintainer: jihbed.research

The csp2B tool provides a means of combining CSP-like descriptions
with standard B specifications. The notation of CSP provides a convenient
way of describing the order in which the operations of a B machine may occur.
The function of the tool is to convert CSP-like specifications into standard
machine-readable B specifications which means that they may be animated
and appropriate proof obligations may be generated. Use of csp2B means that
abstract specifications and refinements may be specified purely using CSP
or using a combination of CSP and B


Required to run:
[lang/moscow_ml]

Required to build:
[pkgtools/cwrappers]

Master sites:

RMD160: 29d4c3d787404a0cc10aa47e4cf6fa278bde959d
Filesize: 47.54 KB

Version history: (Expand)

CVS history: (Expand)


   2012-09-24 20:26:51 by Aleksej Saushev | Files touched by this commit (116) 
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.
   2009-08-15 14:37:51 by Kamel Derouiche | Files touched by this commit (2) | Package updated
Log message:

	pkgsrc-changes:
	--------------
	o change maintainer address
	o update PLIST
   2009-06-04 00:05:40 by Kamel Derouiche | Files touched by this commit (3) 
Log message:

	The writing of the patch, was false and the makefile could not finish \ 
correctly, I have rewrite the makefile, by adding the phase do-build and \ 
do-install to correct the construction of the package
   2009-05-05 23:33:41 by Kamel Derouiche | Files touched by this commit (5) | Imported package
Log message:
Import csp2b-1.2 as wip/csp2b.

The csp2B tool provides a means of combining CSP-like descriptions
with standard B specifications. The notation of CSP provides a convenient
way of describing the order in which the operations of a B machine may occur.
The function of the tool is to convert CSP-like specifications into standard
machine-readable B specifications which means that they may be animated
and appropriate proof obligations may be generated. Use of csp2B means that
abstract specifications and refinements may be specified purely using CSP
or using a combination of CSP and B