CNF encodings of cardinality in formal methods for robustness checking of gate-level circuits.

Miroslav N. Velev Ping Gao

Published in: ISCAS (2011)

Keyphrases

formal methods
formal analysis
formal specification
knowledge based systems
process algebra
safety critical
model checking
model checker
cmos technology
provably correct
fine grained
reactive systems
boolean functions
high speed
software engineering
expert systems
data mining