Abstract | ||
---|---|---|
The growing power of model checking is making it feasible to use formal verification for important classes of software systems. However, for this to be practical it is necessary to bridge the gap between the commercial modeling tools industrial developers prefer to use and the input languages of the formal verification tools. This paper describes a translator framework that makes it possible to use several popular formal verification tools with commercial modeling tools. The practicality of this approach is illustrated by four case studies in which model checking was successfully used in the development of avionics software. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-00768-2_36 | TACAS |
Keywords | Field | DocType |
model-based development,software system,formal verification tool,model checking,popular formal verification tool,avionics software,industrial developer,important class,commercial modeling tool,case study,formal verification,model based development,software systems | Formal equivalence checking,Avionics software,Model checking,Computer science,Theoretical computer science,Formal specification,Formal methods,Software verification and validation,Software verification,Formal verification | Conference |
Volume | ISSN | Citations |
5505 | 0302-9743 | 1 |
PageRank | References | Authors |
0.39 | 7 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Steven P. Miller | 1 | 561 | 56.48 |