A decision procedure for bit-vector arithmetic
DAC '98 Proceedings of the 35th annual Design Automation Conference
Subtypes for Specifications: Predicate Subtyping in PVS
IEEE Transactions on Software Engineering
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Constraints in computational logics
A General Setting for Flexibly Combining and Augmenting Decision Procedures
Journal of Automated Reasoning
The small model property: how small can it be?
Information and Computation
Using BDDs with Combinations of Theories
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Theorem Proving for Verification
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
A Generalization of Shostak's Method for Combining Decision Procedures
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
A Rewrite Rule Based Framework for Combining Decision Procedures
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
CL '00 Proceedings of the First International Conference on Computational Logic
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Theorem proving for verification
Modeling and verification of parallel processes
Systematic Formal Verification of Interpreters
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Constraint contextual rewriting
Journal of Symbolic Computation - Special issue: First order theorem proving
Journal of Automated Reasoning
Canonization for disjoint unions of theories
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Embedded software verification using symbolic execution and uninterpreted functions
International Journal of Parallel Programming
Programmed Strategies for Program Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
New results on rewrite-based satisfiability procedures
ACM Transactions on Computational Logic (TOCL)
Combination of convex theories: Modularity, deduction completeness, and explanation
Journal of Symbolic Computation
Canonization for disjoint unions of theories
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Nelson-Oppen, shostak and the extended canonizer: a family picture with a newborn
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
| Hi-index | 0.00 |