A case study for Formal Verification of a timing co-processor.

Cristiano Rodrigues

Published in: LATW (2009)

Keyphrases

formal verification
functional verification
model checking
model checker
symbolic model checking
automated verification
program slicing
case study
bounded model checking
high speed
parallel processing
artificial intelligence
object oriented
description language
formal methods
parallel architecture