scientific article; zbMATH DE number 1301860
From MaRDI portal
Publication:4247084
Recommendations
Cited in
(19)- An extensible encoding of object-oriented data models in HOL. With an application to IMP++
- A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory
- Formal reasoning under cached address translation
- Exploring the structure of an algebra text with locales
- Semantics of Mizar as an Isabelle object logic
- Modelling algebraic structures and morphisms in ACL2
- scientific article; zbMATH DE number 1670750 (Why is no real title available?)
- Simpl
- Interactive and automated proofs for graph transformations
- scientific article; zbMATH DE number 1391399 (Why is no real title available?)
- Theoretical Aspects of Computing – ICTAC 2005
- The HOL-CSP Refinement Toolkit
- Formalization of Refinement Calculus for Reactive Systems
- HOL-CSP Version 2.0
- A Sound Type System for Physical Quantities, Units, and Measurements
- Algebra of Monotonic Boolean Transformers
- A mechanized proof of the basic perturbation lemma
- Generating certified code from formal proofs: a case study in homological algebra
- Partial and nested recursive function definitions in higher-order logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247084)
