Safety Verification of an Aircraft Landing Protocol: A Refinement Approach
- 30 May 2007
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case StudyLecture Notes in Computer Science, 2006
- The Theory of Timed I/O AutomataPublished by Springer Science and Business Media LLC ,2006
- Model checking a fault-tolerant startup algorithm: from design exploration to exhaustive fault simulationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Hybrid I/O automataInformation and Computation, 2003
- Safety Verification of Model Helicopter Controller Using Hybrid Input/Output AutomataLecture Notes in Computer Science, 2003
- The time-triggered architectureProceedings of the IEEE, 2003
- Assume-Guarantee Reasoning for Hierarchical Hybrid SystemsLecture Notes in Computer Science, 2001
- High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS)Proceedings of the IEEE, 2000
- Forward and Backward SimulationsInformation and Computation, 1996
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992