Verification of CTL_BDI Properties by Symbolic Model Checking.
Ran ChenWenhui ZhangPublished in: APSEC (2019)
Keyphrases
- model checking
- symbolic model checking
- temporal properties
- formal verification
- model checker
- temporal logic
- safety analysis
- bounded model checking
- finite state
- formal specification
- conformant planning
- formal methods
- partial observability
- planning domains
- modal logic
- linear temporal logic
- formal analysis
- agent model
- decision problems