Integrating Abstraction Techniques for Formal Verification of Analog Designs
Journal of Aerospace Computing, Information, and Communication ; 6 , 5 ; 373-392
2009-05-01
20 pages
Article (Journal)
Electronic Resource
English
Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion (AIAA 2016-0129)
British Library Conference Proceedings | 2016
|Verification of PLC programs using formal proof techniques
Tema Archive | 2008
|Human control strategy: abstraction, verification, and replication
Tema Archive | 1997
|