Proving the shalls: Early validation of requirements through formal methods
International Journal on Software Tools for Technology Transfer (STTT) - A View from Formal Methods 2003 (pp 301-354); Special Section on Recent Advances in Hardware Verification (pp 355-447)
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Implementing Synchronous Models on Loosely Time Triggered Architectures
IEEE Transactions on Computers
Integration of formal analysis into a model-based software development process
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Hi-index | 0.00 |
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.