DocumentCode
2413220
Title
Design Choices In Specification Languages And Verification Systems
Author
Rushby, John
Author_Institution
SRI International
fYear
1991
fDate
28-30 Aug. 1991
Firstpage
195
Lastpage
204
Keywords
Application software; Certification; Computer science; Fault tolerant systems; Formal specifications; Formal verification; Humans; Laboratories; Prototypes; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
HOL Theorem Proving System and Its Applications, 1991., International Workshop on the
Conference_Location
Davis, CA, USA
Print_ISBN
0-8186-2460-4
Type
conf
DOI
10.1109/HOL.1991.596287
Filename
596287
Link To Document