Login / Signup
Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker.
Stylianos Basagiannis
Panagiotis Katsaros
Andrew Pombortsis
Published in:
ISPA (2006)
Keyphrases
</>
model checker
formal verification
model checking
formal methods
formal specification
temporal logic
description language
building blocks
case study
search algorithm
knowledge based systems
software architecture
ai planning
data mining
genetic algorithm
knowledge acquisition