Tutorial T4A: Formal Verification Techniques and Tools for Complex Designs.

Jacob A. Abraham Daniel G. Saab

Published in: VLSI Design (2007)

Keyphrases

formal verification
model checking
design principles
model checker
complex systems
software tools
neural network
artificial intelligence
high level
expert systems
decision support
real world
software engineering
symbolic model checking
bounded model checking
program slicing