Conflict Detection in Call Control Using First-Order Logic Model Checking.
Ahmed F. LayouniLuigi LogrippoKenneth J. TurnerPublished in: ICFI (2007)
Keyphrases
- model checking
- first order logic
- timed automata
- conflict detection
- temporal logic
- expressive power
- propositional logic
- theorem prover
- theorem proving
- formal verification
- finite state
- formal specification
- inference rules
- incomplete information
- probabilistic reasoning
- knowledge representation
- verification method
- epistemic logic
- formal semantics
- horn clauses
- set theory
- np complete