Formal Methods for Distributed Control Systems of Future Railways.
Alessandro FantechiStefania GnesiAnne E. HaxthausenPublished in: ISoLA (4) (2022)
Keyphrases
- formal methods
- control system
- formal analysis
- model checking
- formal specification
- distributed systems
- knowledge based systems
- cooperative
- safety critical
- model checker
- process algebra
- real world
- artificial intelligence
- temporal properties
- provably correct
- multi agent
- distributed environment
- modeling language
- black box
- temporal logic
- software engineering
- knowledge representation
- data mining