Glossary

Filter:
# A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
Gypsy Verification Environment
  • A software development methodology which makes use of the Gypsy language, to formally prove design specification and code implementation. Gypsy is a language developed by the University of Texas. (NCSC-WA-001-85;) 2. 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.