Integrating model checking with HiP-HOPS in model-based safety analysis.
Septavera SharviaYiannis PapadopoulosPublished in: Reliab. Eng. Syst. Saf. (2015)
Keyphrases
- symbolic model checking
- safety analysis
- model checking
- temporal logic
- formal verification
- model checker
- finite state
- formal specification
- formal methods
- partial observability
- verification method
- nuclear power plant
- symbolic representation
- planning domains
- binary decision diagrams
- constraint programming
- fault model
- domain independent