Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie.
Kerstin HartigJens GerlachJuan SotoJürgen BussePublished in: FORMS/FORMAT (2010)
Keyphrases
- formal specification
- model checking
- automated verification
- formal methods
- safety critical
- regulatory requirements
- temporal logic
- process algebra
- model checker
- formal verification
- safety analysis
- specification language
- traffic management
- real time
- fault tolerant
- embedded systems
- grid workflow
- automated reasoning
- case study
- databases
- cooperative
- low cost
- agent architecture
- intelligent systems