Sign in
Automated Verification of Signalling Principles in Railway Interlocking Systems.
Karim Kanso
Faron Moller
Anton Setzer
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
automated verification
model checking
automated reasoning
building blocks
complex systems
formal verification
distributed systems
real time
machine learning
information retrieval systems
computer systems
design criteria