Formal verification of the NASA runway safety monitor
- 23 August 2006
- journal article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 9 (1), 63-76
- https://doi.org/10.1007/s10009-006-0004-z
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Science and Business Media LLC ,2005
- Logical and Stochastic Modeling with SmartLecture Notes in Computer Science, 2003
- Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest PathsLecture Notes in Computer Science, 2002
- Saturation: An Efficient Iteration Strategy for Symbolic State—Space GenerationLecture Notes in Computer Science, 2001
- NuSMV: A New Symbolic Model VerifierLecture Notes in Computer Science, 1999
- Model checking large software specificationsIEEE Transactions on Software Engineering, 1998
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- Experiences and lessons from the analysis of TCAS IIPublished by Association for Computing Machinery (ACM) ,1996
- CADP a protocol validation and verification toolboxLecture Notes in Computer Science, 1996
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986