Explaining Violations of Properties in Control-Flow Temporal Logic.
Joshua Heneage DawesGiles RegerPublished in: RV (2019)
Keyphrases
- temporal logic
- control flow
- transition systems
- model checking
- reactive systems
- data flow
- modal logic
- temporal properties
- concurrent systems
- satisfiability problem
- process model
- linear temporal logic
- mazurkiewicz traces
- computation tree logic
- software testing
- belief revision
- temporally extended
- model checker
- business process models
- verification method
- temporal knowledge
- artificial intelligence
- formal semantics
- business process