Model Checking Linear Logic Specifications.
Marco BozzanoGiorgio DelzannoMaurizio MartelliPublished in: Theory Pract. Log. Program. (2004)
Keyphrases
- linear logic
- model checking
- model checker
- automated verification
- formal specification
- transition systems
- bounded model checking
- temporal logic
- reactive systems
- formal verification
- concurrent systems
- finite state machines
- fixed point
- symbolic model checking
- temporal properties
- asynchronous circuits
- sequent calculus
- logic programming
- formal methods
- computation tree logic
- desirable properties
- logical framework
- verification method
- cut elimination
- epistemic logic
- specification language
- linear temporal logic
- description language
- alternating time temporal logic
- operational semantics
- control flow
- planning domains
- inference rules
- machine learning