Title :
Practical Experience with an Ada-Based Formal Specification/Language on a Large Project
Author_Institution :
Ford Aerospace and Communications Corporation
fDate :
April 29 1984-May 2 1984
Abstract :
Ford Aerospace is successfully using an Ada-based formal specification language on a large project to specify and manually verify security properties. This paper, and the associated panel presentation at the 1984 Symposium on Security and Privacy, deal with Customer requirements in the area of security, the use of "Ada Design Language Extensions" (ADLE) as the formal specification language, and the approach to demonstrating security properties.
Keywords :
Abstracts; Computational modeling; Formal specifications; Manuals; Mathematical model; Security; Semantics;
Conference_Titel :
Security and Privacy, 1984 IEEE Symposium on
Conference_Location :
Oakland, CA, USA
Print_ISBN :
0-8186-0532-4
DOI :
10.1109/SP.1984.10008
