Glossaria.net

Glossary Computer Security / Term

Gypsy Verification Environment

An integrated set of tools for specifying, coding, and verifying programs written in the Gypsy language, a language similar to Pascal which has both specification and programming features. This methology includes an editor, a specification processor, a verification condition generator, a user-directed theorem prover, and an information flow tool.

Permanent link Gypsy Verification Environment - Creation date 2020-06-27


< guard Glossary / Computer Security handshaking procedure >