wip/csp2b/DESCR

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