Login / Signup
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures.
Panagiotis Manolios
Sudarshan K. Srinivasan
Published in:
J. Autom. Reason. (2006)
Keyphrases
</>
automated deduction
decision procedures
theorem proving
artificial intelligence
modal logic
automated reasoning
databases
random variables
inference rules
theorem prover
reasoning problems