Login / Signup
SafeCap: from formal verification of railway interlocking to its certification.
Alexei Iliasov
Dominic Taylor
Linas Laibinis
Alexander B. Romanovsky
Published in:
CoRR (2021)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
third party
automated verification
symbolic model checking
temporal logic
knowledge acquisition
traffic management
study guide
bayesian networks
open source
functional verification