A Finite-Domain Semantics for Testing Temporal Logic Specifications.
Alberto Coen-PorisiniMatteo PradellaPierluigi San PietroPublished in: FTRTFT (1998)
Keyphrases
- temporal logic
- finite domain
- satisfiability problem
- concurrent systems
- model checking
- transition systems
- model checker
- reactive systems
- bounded model checking
- formal verification
- formal specification language
- epistemic logic
- modal logic
- formal specification
- constraint programming
- constraint propagation
- specification language
- constraint satisfaction problems
- logical formulas
- control flow
- dynamic constraints
- verification method
- logic programming
- formal semantics
- constraint logic programming
- linear temporal logic
- temporally extended goals
- software testing
- belief revision
- constraint solving
- constraint solver
- bounded treewidth
- test suite
- constraint satisfaction
- temporal constraints
- complex systems