Verification of railway interlocking - Compositional approach with OCRA.

Christophe Limbrée Quentin Cappart Charles Pecheur Stefano Tonetta

Published in: CoRR (2016)

Keyphrases

model checking
hidden markov models
traffic management
data sets
databases
formal verification
false acceptance rate
information retrieval
digital images
distributed systems
face verification
formal methods
concurrent systems