Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods.
Davide BasileMaurice H. ter BeekAlessio FerrariAxel LegayPublished in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
- formal methods
- formal specification
- formal analysis
- provably correct
- knowledge based systems
- process algebra
- model checking
- reactive systems
- artificial intelligence
- temporal properties
- software engineering
- model checker
- safety critical
- security properties
- development lifecycle
- specification language
- reverse engineering
- fault tolerant
- test cases
- moving objects