Applications of Model Checking at Honeywell Laboratories (2001)


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

19 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 Model checking semi-continuous time models using BDDs – Sergio Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund Clarke - 1999
14 Parameterized Reachability Analysis of the IEEE 1394 Root Contention Protocol using TReX – A. Collomb-Annichini, M. Sighireanu - 2001
4 Temporal Properties of Self-Timed Rings – Anthony Winstanley, Mark Greenstreet - 2001
12 Exact acceleration of real-time model checking – Martijn Hendriks, Kim G. Larsen - 2002
3 Enhancing UPPAAL by Exploiting Symmetry – Martijn Hendriks - 2002
30 Modelling mixed discrete-continuous domains for planning – Maria Fox, Derek Long - 2006
24 CMC: A Tool For Compositional Model-Checking Of Real-Time Systems – François Laroussinie, Kim G. Larsen - 1988
Combining SPIN with ns-2 for protocol optimization ⋆ – Pedro Merino, Alberto Salmerón
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar – Indranil Saha, Suman Roy, Kuntal Chakraborty
31 A Methodology for the Construction of Scheduled Systems – K. Altisen, G. Gößler, J. Sifakis - 2000
1 Formal evaluation of Quality of Service for data acquisition systems – Belgacem Ben Hedia, Fabrice Jumel, Jean-Philippe Babau, Citi-insa Lyon, F Villeurbanne, Cedex France, Citi-insa Lyon, F Villeurbanne, Cedex France
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