Login / Signup
CSP specification and verification of relay-based railway interlocking systems.
D. I. de Almeida Pereira
M. V. M. Oliveira
P. E. R. Bezerra
Philippe Bon
Simon Collart Dutilleul
Published in:
SAC (2022)
Keyphrases
</>
formal methods
complex systems
model checking
formal verification
high level
special case
constraint programming
asynchronous circuits
neural network
genetic algorithm
knowledge base
search algorithm
search space
np hard
automated verification