Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Faster checking of software specifications by eliminating isomorphs
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Checking relational specifications with binary decision diagrams
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Isomorph-free model enumeration: a new method for checking relational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Satchmo - The Compiling and Functional Variants
Journal of Automated Reasoning
The IJCAR ATP System Competition
Journal of Automated Reasoning
Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Semantic Selection for Resolution in Clause Graphs
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
TPTP, CASC and the development of a semantically guided theorem prover
AI Communications - CASC
Automating Algebraic Specifications of Non-freely Generated Data Types
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Semantically guiding a first-order theorem prover with a soft model
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Constructing infinite models represented by tree automata
Annals of Mathematics and Artificial Intelligence
Reducing Symmetries to Generate Easier SAT Instances
Electronic Notes in Theoretical Computer Science (ENTCS)
Kodkod: a relational model finder
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
A taxonomy of theorem-proving strategies
Artificial intelligence today
Automated Flaw Detection in Algebraic Specifications
Journal of Automated Reasoning
A powerful technique to eliminate isomorphism in finite model search
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Superposition for bounded domains
Automated Reasoning and Mathematics
MACE4 and SEM: a comparison of finite model generators
Automated Reasoning and Mathematics
| Hi-index | 0.00 |