Formal methods for railway control systems.
Alessandro FantechiFrancesco FlamminiStefania GnesiPublished in: Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
- formal methods
- control system
- formal analysis
- model checking
- formal specification
- artificial intelligence
- safety critical
- model checker
- control strategies
- knowledge based systems
- process algebra
- traffic management
- provably correct
- software engineering
- real time
- reactive systems
- temporal properties
- databases
- development lifecycle
- data mining
- database
- formal specification language