Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems.
Gábor LukácsTamás BarthaPublished in: SACI (2022)
Keyphrases
- formal methods
- model checking
- management system
- formal languages
- asynchronous circuits
- exception handling
- formal specification
- high level
- ontological engineering
- reactive systems
- formal verification
- support systems
- learning systems
- neural network
- formal model
- complex systems
- intelligent systems
- decision support
- automated verification