DocumentCode
2129120
Title
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS ´96
fYear
1996
fDate
17-21 June 1996
Abstract
The following topics were dealt with: computer assurance; formal specification and analysis; mechanical theorem provers; practical applications of formal methods; program verification; software safety; computer security; and testing
Keywords
formal specification; program testing; program verification; safety-critical software; security of data; theorem proving; computer assurance; computer security; formal methods; formal specification; mechanical theorem provers; program verification; software safety; testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Assurance, 1996. COMPASS '96, Systems Integrity. Software Safety. Process Security. Proceedings of the Eleventh Annual Conference on
Conference_Location
Gaithersburg, MD, USA
Print_ISBN
0-7803-3390-X
Type
conf
DOI
10.1109/CMPASS.1996.507869
Filename
507869
Link To Document