Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Formal Methods in System Design
A decision procedure for term algebras with queues
ACM Transactions on Computational Logic (TOCL)
A General Setting for Flexibly Combining and Augmenting Decision Procedures
Journal of Automated Reasoning
Visual Abstractions for Temporal Verification
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
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
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Combining Generic and Domain Specific Reasoning by Using Contexts
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
System Description: RDL : Rewrite and Decision Procedure Laboratory
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A Decision Procedure for Term Algebras with Queues
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Strategies for combining decision procedures
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Decision procedures for term algebras with integer constraints
Information and Computation - Special issue: Combining logical systems
Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Upper bounds for a theory of queues
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Virtual substitution for SMT-solving
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Decision procedures for queues with integer constraints
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Hi-index | 0.00 |