CZT parser for Circus Confidentiality
Provides classes for parsing and printing Circus Confidentiality specifications (written in Circus Confidentiality extension of the Z specification language).
Tools for developing and reasoning about Z specifications
Provides classes for parsing and printing Circus Confidentiality specifications (written in Circus Confidentiality extension of the Z specification language).