Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL.
Martin ZimmermannPublished in: GandALF (2015)
Keyphrases
- temporal logic
- model checking
- linear temporal logic
- satisfiability problem
- modal logic
- concurrent systems
- bounded model checking
- mazurkiewicz traces
- computation tree logic
- transition systems
- linear time temporal logic
- verification method
- temporal knowledge
- model checker
- formal verification
- belief revision
- predicate logic