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
- Towards a UTP Semantics for Modelica
- Unifying Heterogeneous State-Spaces with Lenses
- Angelic processes for CSP via the UTP
- An Axiomatic Value Model for Isabelle/UTP
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Designing a semantic model for a wide-spectrum language with concurrency
- UTPCalc — A Calculator for UTP Predicates
- Behavioural Models for FMI Co-simulations
- Integration of formal proof into unified assurance cases with Isabelle/SACM
- A Stepwise Approach to Linking Theories
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
- Automated verification of reactive and concurrent programs by calculation
This page was built for software: Isabelle/UTP
