模型检验在航天测控软件上的应用研究 (Research of Model Checking Application on Aerospace TT&C Software).
Yunchou LiPing YinPublished in: 计算机科学 (2018)
Keyphrases
- model checking
- temporal logic
- formal methods
- formal verification
- temporal properties
- pspace complete
- symbolic model checking
- finite state
- model checker
- formal specification
- automated verification
- verification method
- finite state machines
- bounded model checking
- concurrent systems
- transition systems
- np complete
- data flow
- boolean functions
- software architecture
- test cases
- reinforcement learning
- computation tree logic