Isabelle/UTP
From MaRDI portal
swMATH21184MaRDI QIDQ32996FDOQ32996
Author name not available (Why is that?)
Official website: https://www-users.cs.york.ac.uk/~simonf/utp-isabelle/
Source code repository: https://github.com/isabelle-utp/utp-main
Cited In (42)
- RiskStructures: a design algebra for risk-aware machines
- Transformer semantics
- 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
- HOL-OCL
- ProofPower
- Saoithin
- UTP2
- PROMELA
- Z
- Handel-C
- FDR3
- pGCL
- ModuRes
- Verilog
- Isabelle/Circus
- HOL-TestGen
- Circus
- RailCNL
- ZRC
- UTPCalc
- JCSP
- Ordinary Differential Equations
- Isabelle/DOF
- Algebraic_VCs
- Binary Multirelations
- Differential_Game_Logic
- 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
- OCRA
- 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
