Results 1 -
1 of
1
Applications of Model Checking at Honeywell Laboratories
- Proceedings of the 8th International SPIN Workshop 2001, volume 2057 of Lecture Notes in Computer Science
, 2001
"... This paper provides a brief overview of ve projects in which Honeywell has successfully used or developed model checking methods in the veri cation and synthesis of safety-critical systems. 1 ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
This paper provides a brief overview of ve projects in which Honeywell has successfully used or developed model checking methods in the veri cation and synthesis of safety-critical systems. 1
