Evaluating general purpose automated theorem proving systems
Artificial Intelligence
CASL: the common algebraic specification language
Theoretical Computer Science
Formally Verifying Dynamic Properties of Knowledge Based Systems
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Formal System Development with KIV
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Maintenance of Formal Software Developments by Stratified Verification
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
CASL: A Guided Tour of Its Design
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A Method for Secure Smartcard Applications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
The KeY Approach: Integrating Object Oriented Design and Formal Verification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
An Architecture for Interactive Program Provers
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Integrating HOL-CASL into the Development Graph Manager MAYA
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
A Dynamic Logic for the Formal Verification of Java Card Programs
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
KIV 3.0 for Provably Correct Systems
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Flaw Detection in Formal Specifications
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The unified problem-solving method development language UPML
Knowledge and Information Systems
Compositional verification of knowledge-based task models and problem-solving methods
Knowledge and Information Systems
Verification of non-functional programs using interpretations in type theory
Journal of Functional Programming
A software architecture for knowledge-based systems
The Knowledge Engineering Review
Journal of Automated Reasoning
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Checking the quality of clinical guidelines using automated reasoning tools
Theory and Practice of Logic Programming
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Hi-index | 0.00 |