Isabelle/UTP
From MaRDI portal
Software:32996
swMATH21184MaRDI QIDQ32996FDOQ32996
Author name not available (Why is that?)
Cited In (17)
- RiskStructures: a design algebra for risk-aware machines
- A Unary Semigroup Trace Algebra
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses
- Automated reasoning for probabilistic sequential programs with theorem proving
- Unifying theories of reactive design contracts
- Angelic processes for CSP via the UTP
- Behavioural models for FMI co-simulations
- An Axiomatic Value Model for Isabelle/UTP
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- A stepwise approach to linking theories
- Designing a semantic model for a wide-spectrum language with concurrency
- Integration of formal proof into unified assurance cases with Isabelle/SACM
- UTPCalc -- a calculator for UTP predicates
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
- Unifying heterogeneous state-spaces with lenses
- Towards a UTP semantics for Modelica
- Automated verification of reactive and concurrent programs by calculation
This page was built for software: Isabelle/UTP
