DocumentCode
2567831
Title
Formal Verification Of FIRE: A Case Study
Author
Jang, Jae-Young ; Qadeer, Shaz ; Kaufmann, Matt ; Pixley, Carl
Author_Institution
Dept. of ECE, University of Colorado
fYear
1997
fDate
9-13 June 1997
Firstpage
173
Lastpage
177
Keywords
Automotive engineering; Binary decision diagrams; Computer aided software engineering; Fires; Formal verification; Hardware; Permission; Road safety; Safety devices; Vehicle safety;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1997. Proceedings of the 34th
Conference_Location
Anaheim, CA, USA
ISSN
0738-100X
Print_ISBN
0-7803-4093-0
Type
conf
DOI
10.1109/DAC.1997.597139
Filename
597139
Link To Document