Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking.
Asim AbdulkhaleqStefan WagnerPublished in: SAFECOMP (2015)
Keyphrases
- safety analysis
- symbolic model checking
- model checking
- safety critical
- formal methods
- formal verification
- temporal logic
- partial observability
- nuclear power plant
- automated verification
- model checker
- control system
- verification method
- symbolic representation
- finite state
- binary decision diagrams
- formal specification
- reactive systems
- fault model
- dynamic programming
- planning domains
- reliability analysis
- modal logic
- fault tolerant
- development process
- markov decision processes