Formal Verification of Digital Circuits Using Symbolic Ternary System Models.

Randal E. Bryant Carl-Johan H. Seger

Published in: CAV (1990)

Keyphrases

formal verification
digital circuits
databases
artificial intelligence
search algorithm
probabilistic model
complex systems
model checking
rough sets