Formal Modelling and Verification of an Interlocking Using mCRL2.

Mark Bouwman Bob Janssen Bas Luttik

Published in: FMICS (2019)

Keyphrases

formal methods
formal analysis
model checking
formal model
conceptual modelling
signature verification
data sets
face verification
concurrent systems
database
asynchronous circuits
formal models
formal specification
expert systems
genetic algorithm
information retrieval
neural network