Isabelle/UTP
From MaRDI portal
Software:32996
No author found.
Related Items (17)
Behavioural Models for FMI Co-simulations ⋮ Unifying Heterogeneous State-Spaces with Lenses ⋮ Designing a semantic model for a wide-spectrum language with concurrency ⋮ Automated Algebraic Reasoning for Collections and Local Variables with Lenses ⋮ Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL ⋮ A Unary Semigroup Trace Algebra ⋮ Theoretical and practical approaches to the denotational semantics for MDESL based on UTP ⋮ Automated reasoning for probabilistic sequential programs with theorem proving ⋮ Towards a UTP Semantics for Modelica ⋮ A Stepwise Approach to Linking Theories ⋮ An Axiomatic Value Model for Isabelle/UTP ⋮ UTPCalc — A Calculator for UTP Predicates ⋮ RiskStructures: a design algebra for risk-aware machines ⋮ Angelic processes for CSP via the UTP ⋮ Unifying theories of reactive design contracts ⋮ Automated verification of reactive and concurrent programs by calculation ⋮ Integration of formal proof into unified assurance cases with Isabelle/SACM
This page was built for software: Isabelle/UTP
