Title :
Offering formal verification capabilities for industry standard case tools: challenges and results
Author_Institution :
OFFIS
Keywords :
Aerospace electronics; Automotive engineering; Computer aided software engineering; Formal verification; Industrial control;
Conference_Titel :
Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on
Print_ISBN :
0-7695-0822-7
DOI :
10.1109/ICFEM.2000.873815
