Sign in

Formal Verification of Digital Circuits Using Symbolic Ternary System Models.

Randal E. BryantCarl-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