A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults.
Naoyuki NagatouTakuo WatanabePublished in: AP-BPM (2014)
Keyphrases
- model checking
- temporal logic
- finite state
- reachability analysis
- formal specification
- timed automata
- temporal properties
- epistemic logic
- abstract interpretation
- transition systems
- symbolic model checking
- dynamic analysis
- verification method
- reinforcement learning
- concurrent systems
- model checker
- finite state machines
- automated verification
- search algorithm