A Report On The Development Of Gypsy


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


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} }