Introduction to formal processor verification at logic level: a case study.
Paul AmblardFabienne LagnierMichel LévyPublished in: WCAE (2004)
Keyphrases
- formal methods
- asynchronous circuits
- functional verification
- verification method
- logic programming
- model checker
- modal logic
- predicate logic
- operational semantics
- formal logic
- neural network
- model checking
- higher level
- high speed
- formal verification
- automated reasoning
- mathematical theory
- model theoretic
- formal language
- face verification
- multiprocessor systems
- computational logic
- database systems
- bounded model checking
- case study