Formal Methods for Railway Disasters Prevention.
Lilia BelabedTullio Joseph TanziSophie CoudertPublished in: ITDRR (2017)
Keyphrases
- formal methods
- disaster recovery
- formal specification
- disaster management
- provably correct
- formal analysis
- artificial intelligence
- safety critical
- model checker
- model checking
- software engineering
- early warning
- emergency management
- emergency response
- hurricane katrina
- knowledge based systems
- man made
- reactive systems
- process algebra
- development lifecycle
- belief revision
- security properties
- fine grained
- temporal properties
- xml documents
- case study
- information systems