Login / Signup
Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions.
Randal E. Bryant
Steven M. German
Miroslav N. Velev
Published in:
TABLEAUX (1999)
Keyphrases
</>
decision procedures
modal logic
automated reasoning
asynchronous circuits
model checking
temporal logic
theorem proving
model theoretic
knowledge representation
databases
artificial intelligence
default logic
functional verification