Shallow Expressions
From MaRDI portal
- A program construction and verification tool for separation logic
- An Axiomatic Value Model for Isabelle/UTP
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses
- Automated Reasoning in Higher-Order Regular Algebra
- Automatic proof and disproof in Isabelle/HOL
- Building program construction and verification tools from algebraic principles
- Cylindric Kleene lattices for program construction
- Unnamed Publication
- Isabelle/UTP: a mechanised theory engineering framework
- IsaVODEs: Interactive verification of cyber-physical systems at scale
- Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
- Mechanised Separation Algebra
- On the fine-structure of regular algebra
- Program analysis and verification based on Kleene algebra in Isabelle/HOL
- Towards a UTP semantics for Modelica
- Unifying heterogeneous state-spaces with lenses
- Unifying theories in Isabelle/HOL
- Unifying Theories in ProofPower-Z
- Unifying theories of time with generalised reactive processes
This page was built for software: Shallow Expressions
