A Formal Verification Methodology for Checking Data Integrity
A Formalization of the Semantics of Functional-Logic Programming in Isabelle
A Formalization of the Theorem of Existence of First-Order Most General Unifiers
A Formally Specified Program Logic for Higher-Order Procedural Variables and non-local Jumps
A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables
A formally verified compiler back-end
A Formulation of the Simple Theory of Types (for Isabelle)
A Foundational View on Integration Problems
A Framework for Specifying, Prototyping, and Reasoning about Computational Systems
A Framework for the Evaluation of Worst-Case System Efficiency
A Framework to Handle Linear Temporal Properties in (ω-)Regular Model Checking
A Fully Abstract Symbolic Semantics for Psi-Calculi
A General Form of Attribute Exploration
A General Framework for Sound and Complete Floyd-Hoare Logics
A Generalization of the Lifting Lemma for Logic Programming
A Generalized Kahn Principle for Abstract Asynchronous Networks
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
A Generic Scheme for Qualified Logic Programming
A Geometric Approach to the Problem of Unique Decomposition of Processes
A Geometric Presentation of Probabilistic Satisfiability