157 papers found
Refreshing results…
Under consideration for publication in Formal Aspects of Computing
Download from www.researchgate.netExperiments on Supporting Interactive Proof Using Resolution
Download from www.researchgate.netProgram composition in Isabelle/UNITY
Download from www.researchgate.netRepresenting Component States in Higher-Order Logic
Download from www.researchgate.netVerifying the SET registration protocols
Download from www.researchgate.netVerifying Second-Level Security Protocols
Download from www.researchgate.netIsabelle Tutorial and User's Manual
Download from www.researchgate.netA Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions
Download from www.researchgate.netThe Reflection Theorem: A Study in Meta-theoretic Reasoning.
Download from www.researchgate.netMissing publications? Read more about our data sources.