IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal verification of Ada programs

Author(s): D. Guaspari ; C. Marceau ; W. Polak
Sponsor(s): IEEE Comput. Soc. Tech. Council on Software Eng.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 1990
Volume: 16
Page Count: 18
Page(s): 1,058 - 1,075
ISSN (Paper): 0098-5589
DOI: 10.1109/32.58790
Regular:

The Penelope verification editor and its formal basis are described. Penelope is a prototype system for the interactive development and verification of programs that are written in a rich subset... View More

Advertisement