Keyphrases
- asynchronous circuits
- model checking
- verification method
- model checker
- classical logic
- bounded model checking
- source code
- logical operations
- modal logic
- byte code
- temporal logic
- predicate logic
- formal verification
- case study
- symbolic execution
- computational properties
- data flow
- expressive power
- logic programming
- set theory
- digital circuits
- code generation
- logical framework
- java card
- epistemic logic
- deontic logic
- automated reasoning
- static analysis
- windows nt
- neural network