Login / Signup
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System.
Alessandro Cimatti
Raffaele Corvino
Armando Lazzaro
Iman Narasamdya
Tiziana Rizzo
Marco Roveri
Angela Sanseviero
Andrei Tchaltsev
Published in:
CAV (2012)
Keyphrases
</>
formal verification
model checking
high speed railway
automated verification
bounded model checking
model checker
industrial applications
symbolic model checking
model validation
modeling method
knowledge based systems
temporal logic
quality improvement
knowledge representation
industrial processes