Applications of Model Checking at Honeywell Laboratories (2001)

Cached

Download Links

by Darren Cofer , Eric Engstrom , Robert Goldman , David Musliner , Steve Vestal
Venue:Proceedings of the 8th International SPIN Workshop 2001, volume 2057 of Lecture Notes in Computer Science
Citations:2 - 0 self

Active Bibliography

15 Adding Symmetry Reduction to UPPAAL – Martijn Hendriks, Gerd Behrmann, Kim Larsen, Peter Niebert, Frits Vaandrager - 2004
1 RT-MLab: Really Real-Time Robotics – Karen Zita Haigh, David J. Musliner, Sunondo Ghosh - 2000
In the 2000 AAAI SSS `Real-Time Autonomous Systems' RT-MLab: Really Real-Time Robotics – Karen Zita Haigh, David J. Musliner, Sunondo Ghosh
Prepared By: – Mr. Harold, D. Coleman, Grants Officer, Mr. Nelson, H. Keeler, Nasa Iv, Ken Mcgill, Christina Moats, Brian J. Taylor, Marjorie Darrah - 2002
9 Modelling a Real-Time Language – Thomas Hune - 1999
2 Temporal Properties of Self-Timed Rings – Anthony Winstanley, Mark Greenstreet - 2001
2 Model checking semi-continuous time models using BDDs – Sergio Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund Clarke - 1999
10 Exact acceleration of real-time model checking – Martijn Hendriks, Kim G. Larsen - 2002
9 Parameterized Reachability Analysis of the IEEE 1394 Root Contention Protocol using TReX – A. Collomb-Annichini, M. Sighireanu - 2001
3 Enhancing UPPAAL by Exploiting Symmetry – Martijn Hendriks - 2002
9 Modelling Mixed Discrete-Continuous Domains for Planning – Maria Fox, Derek Long - 2004
18 CMC: A Tool For Compositional Model-Checking Of Real-Time Systems – François Laroussinie, Kim G. Larsen - 1988
28 A Methodology for the Construction of Scheduled Systems – K. Altisen, G. Gößler, J. Sifakis - 2000
1 On the role of static analysis in operating system checking and runtime verification – Abhishek Rai - 2005
3 Refactoring spin for safety – Robert Palmer, Ganesh Gopalakrishnan - 2005
Automatic Generation of Model Checking Scripts based on Environment Modeling – Kenro Yatake, Toshiaki Aoki
71 What Went Wrong: Explaining Counterexamples – Alex Groce, Willem Visser - 2003
Survey of Techniques for Handling Timing Problems in Distributed Control – Martin Sanfridson
2 Implementation of a Transient-Fault-Tolerance Scheme on DEOS – Libin Dong, Rami Melhem, Sunondo Ghosh, Walt Heimerdinger, Aaron Larson - 1999