Recommendations
Cited in
(20)- A UTP semantics for \textsf{Circus}
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- Unifying theories in ProofPower-Z
- Theorem proving graph grammars with attributes and negative application conditions
- Isabelle/UTP: a mechanised theory engineering framework
- Unifying heterogeneous state-spaces with lenses
- The logic of \(U\cdot(TP)^{2}\)
- Higher-order UTP for a theory of methods
- Mechanised support for sound refinement tactics
- Refinement-oriented models of Stateflow charts
- First-order unification in the PVS proof assistant
- Mechanical Reasoning about Families of UTP Theories
- Mechanising a Unifying Theory
- Compositional assume-guarantee reasoning of control law diagrams using UTP
- A Coq implementation of the program algebra in Jifeng He's new roadmap for linking theories of programming
- Optics
- Shallow Expressions
- Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming
- Z Mathematical Toolkit in Isabelle/HOL
- TPS: A hybrid automatic-interactive system for developing proofs
This page was built for publication: Unifying Theories in ProofPower-Z
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5307478)
