Title :
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS ´96
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;
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
DOI :
10.1109/CMPASS.1996.507869
