DocumentCode

2488726

Title

Offering formal verification capabilities for industry standard case tools: challenges and results

Author

Damm, Werner

Author_Institution

OFFIS

fYear

2000

fDate

2000

Firstpage

153

Lastpage

153

Keywords

Aerospace electronics; Automotive engineering; Computer aided software engineering; Formal verification; Industrial control;

fLanguage

English

Publisher

ieee

Conference_Titel

Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on

Print_ISBN

0-7695-0822-7

Type

conf

DOI

10.1109/ICFEM.2000.873815

Filename

873815