Verification of Two-Variable Logic Revisited.
Michael BenediktRastislav LenhardtJames WorrellPublished in: QEST (2012)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- model checker
- linear time temporal logic
- logic programming
- bounded model checking
- formal methods
- classical logic
- signature verification
- multi valued
- formal verification
- digital circuits
- deontic logic
- face verification
- computational properties
- set theory
- abductive reasoning
- automated reasoning
- concurrent systems
- linear temporal logic
- information systems