Safety Analysis of Trampoline OS Using Model Checking: An Experience Report.
Yunja ChoiPublished in: ISSRE (2011)
Keyphrases
- safety analysis
- symbolic model checking
- model checking
- temporal logic
- model checker
- formal verification
- formal specification
- formal methods
- finite state
- safety critical
- verification method
- control system
- symbolic representation
- partial observability
- nuclear power plant
- binary decision diagrams
- model based diagnosis
- belief revision
- dynamic programming