Formal specification and automated verification of railway software with Frama-C.
Virgile PrevostoJochen BurghardtJens GerlachKerstin HartigHans Werner PohlKim VöllingerPublished in: INDIN (2013)
Keyphrases
- formal specification
- model checking
- automated verification
- object oriented design
- formal methods
- temporal logic
- formal verification
- specification languages
- process algebra
- specification language
- software components
- concurrent systems
- software systems
- automated reasoning
- formal specification language
- reverse engineering
- software architecture
- asynchronous circuits
- quality of service
- software development
- source code
- multi agent
- case study