A framework for combining analysis and verification
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On Hoare logic and Kleene algebra with tests
ACM Transactions on Computational Logic (TOCL)
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
Theoretical Computer Science
Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter?
TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
Proof of Imperative Programs in Type Theory
TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Verification of Embedded Software: Problems and Perspectives
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Modular Static Program Analysis
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Verifying Intuition - ILF Checks DAWN Proofs
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Local Reasoning about Programs that Alter Data Structures
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A Generalization of Dijkstra's Calculus to Typed Program Specifications
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Program logic and equivalence in the presence of garbage collection
Theoretical Computer Science - Foundations of software science and computation structures
A categorical model for higher order imperative programming
Mathematical Structures in Computer Science
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
From process logic to program logic
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
A logical analysis of aliasing in imperative higher-order functions
Journal of Functional Programming
The pitfalls of verifying floating-point computations
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Hoare Logic for Call-by-Value Functional Programs
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Game-based criterion partition applied to computational soundness of adaptive security
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
Bottom-up shape analysis using LISF
ACM Transactions on Programming Languages and Systems (TOPLAS)
A hoare calculus for the verification of synchronous languages
PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
Semantic hierarchy refactoring by abstract interpretation
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Modal logics for reasoning about object-based component composition
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Verification conditions for source-level imperative programs
Computer Science Review
Theories, solvers and static analysis by abstract interpretation
Journal of the ACM (JACM)
Hi-index | 0.00 |