Applications of model checking at honeywell laboratories
- 2 May 2001
- book chapter
- Published by Springer Nature
- p. 296-303
- https://doi.org/10.1007/3-540-45139-0_19
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Incremental rate monotonic scheduling for improved control system performancePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case StudyPublished by Springer Nature ,2000
- Verification of time partitioning in the DEOS scheduler kernelPublished by Association for Computing Machinery (ACM) ,2000
- KRONOS: a verification tool for real-time systemsInternational Journal on Software Tools for Technology Transfer, 1997
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- CIRCA: a cooperative intelligent real-time control architectureIEEE Transactions on Systems, Man, and Cybernetics, 1993