A Report On The Development Of Gypsy

Abstract

The first version of Gypsy was introduced in 1976 to support the specification and construction of verified programs. A second version has evolved based on the experiences of the last two years. The changes introduced in the second version are described. Some experiences with the specification and proof methodology are discussed, and the status of the… (More)
DOI: 10.1145/800127.804078

Topics

Cite this paper

@inproceedings{Good1978ARO, title={A Report On The Development Of Gypsy}, author={Donald I. Good and Richard M. Cohen and Lawrence W. Hunter}, booktitle={ACM Annual Conference}, year={1978} }