Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking.
Benedikt BolligAiswarya CyriacPaul GastinMarc ZeitounPublished in: MFCS (2011)
Keyphrases
- temporal logic
- model checking
- recursive programs
- satisfiability problem
- program synthesis
- logic programs
- bounded model checking
- transformation rules
- modal logic
- model checker
- formal specification
- formal verification
- finite state
- computation tree logic
- concurrent systems
- epistemic logic
- verification method
- formal methods
- temporal properties
- mazurkiewicz traces
- linear temporal logic
- logic programming
- transition systems
- planning domains
- temporal epistemic
- artificial intelligence
- reactive systems
- propositional logic
- phase transition
- query processing