PBS
PBS stands for PVS B-Method Support. It implements a structural embedding of a large subset of the B-Method in PVS.
README
file
Examples (tgz)
Sources (tgz)
Documenation
Maintained by:
César A. Muñoz