Verification of SpecC using predicate abstraction.

Himanshu Jain Daniel Kroening Edmund M. Clarke

Published in: MEMOCODE (2004)

Keyphrases

model checking
hardware designs
bounded model checking
first order logic
high level
face verification
formal analysis
formal verification
data abstraction
database
data sets
artificial intelligence
verification method
decision theoretic planning
multiscale
functional verification