Pages that link to "Item:Q2814613"
From MaRDI portal
The following pages link to Isabelle/UTP: A Mechanised Theory Engineering Framework (Q2814613):
Displaying 18 items.
- Isabelle/UTP (Q32996) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Towards a UTP Semantics for Modelica (Q2971175) (← links)
- A Stepwise Approach to Linking Theories (Q2971179) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- UTPCalc — A Calculator for UTP Predicates (Q2971182) (← links)
- Behavioural Models for FMI Co-simulations (Q3179405) (← links)
- Unifying Heterogeneous State-Spaces with Lenses (Q3179407) (← links)
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses (Q5098716) (← links)
- A Unary Semigroup Trace Algebra (Q5098727) (← links)
- Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP (Q5861786) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
- A Coq implementation of the program algebra in Jifeng He's new roadmap for linking theories of programming (Q6535845) (← links)
- Towards a model-checker for \textit{\textsf{Circus}} (Q6535951) (← links)
- APML: an architecture proof modeling language (Q6535972) (← links)
