IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Verification of time partitioning in the DEOS scheduler kernel
Proceedings of the 22nd international conference on Software engineering
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Incremental Rate Monotonic Scheduling for Improved Control System Performance
RTAS '97 Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)
PHAVer: algorithmic verification of hybrid systems past hytech
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Hi-index | 0.00 |
This paper provides a brief overview of five projects in which Honeywell has successfully used or developed model checking methods in the verification and synthesis of safety-critical systems.