Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL.
Per Lange LaursenVan Anh Thi TrinhAnne E. HaxthausenPublished in: ISoLA (3) (2020)
Keyphrases
- model checking
- formal methods
- model checker
- formal specification
- formal analysis
- formal verification
- temporal logic
- distributed systems
- distributed environment
- information systems
- computer networks
- software engineering
- formal model
- distributed computing
- distributed data
- description language
- mobile agents
- loosely coupled
- communication overhead
- knowledge representation
- data sets