Integrating Model Checking With SysML in Complex System Safety Analysis.
Hongli WangDeming ZhongTingdi ZhaoFuchun RenPublished in: IEEE Access (2019)
Keyphrases
- safety analysis
- symbolic model checking
- model checking
- temporal logic
- model checker
- formal verification
- formal methods
- safety critical
- partial observability
- formal specification
- finite state
- symbolic representation
- verification method
- nuclear power plant
- binary decision diagrams
- real time
- intelligent agents
- control system