Verification of Railway Interlocking - Compositional Approach with OCRA.

Christophe Limbrée Quentin Cappart Charles Pecheur Stefano Tonetta

Published in: RSSRail (2016)

Keyphrases

model checking
formal verification
computer vision
temporal logic
asynchronous circuits
false acceptance
decision making
website
three dimensional
multiscale
optimal solution
learning environment
probabilistic model
digital images
verification method