pkgsrc-WIP-cvs archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: wip/csp2b

Module name:    wip
Committed by:   jihbed
Date:           Tue May  5 21:33:41 UTC 2009

Import into wip/csp2b

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


Vendor Tag:     JIHBED
Release Tags:   JIHBED_20090505
N wip/csp2b/distinfo
N wip/csp2b/Makefile
N wip/csp2b/PLIST
N wip/csp2b/DESCR
N wip/csp2b/patches/patch-aa

No conflicts created by this import

The NEW KODAK i700 Series Scanners deliver under ANY circumstances! Your
production scanning environment may not be a perfect world - but thanks to
Kodak, there's a perfect scanner to get the job done! With the NEW KODAK i700
Series Scanner you'll get full speed at 300 dpi even with all image 
processing features enabled.
pkgsrc-wip-cvs mailing list

Home | Main Index | Thread Index | Old Index