Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking.
Xiaozhen ZhangZhaoming YangHui KongWeiqiang KongPublished in: Int. J. Softw. Eng. Knowl. Eng. (2023)
Keyphrases
- bounded model checking
- model checking
- formal verification
- temporal logic
- reactive systems
- linear temporal logic
- multi agent systems
- model checker
- verification method
- formal specification
- epistemic logic
- reactive planning
- concurrent systems
- finite state
- agent architecture
- safety analysis
- optimal policy
- markov chain
- state space