Sequential Circuit Verification Using Symbolic Model Checking.

Jerry R. Burch Edmund M. Clarke Kenneth L. McMillan David L. Dill

Published in: DAC (1990)

Keyphrases

symbolic model checking
model checking
formal verification
model checker
safety analysis
temporal logic
conformant planning
finite state
formal specification
formal methods
partial observability
description language
rough sets
markov chain