Formal Verification of Systems-on-Chip - Industrial Experiences and Scientific Perspectives.

Dominik Stoffel

Published in: DEXA Workshops (2009)

Keyphrases

formal verification
management system
high speed
expert systems
model checker
artificial intelligence
case study
distributed systems
complex systems
bounded model checking