Pages that link to "Item:Q1019016"
From MaRDI portal
The following pages link to A UTP semantics for \textsf{Circus} (Q1019016):
Displayed 35 items.
- Mechanised support for sound refinement tactics (Q432151) (← links)
- Mechanical reasoning about families of UTP theories (Q436368) (← links)
- Test selection for traces refinement (Q481094) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- A timeband framework for modelling real-time systems (Q987537) (← links)
- Unifying theories of time with generalised reactive processes (Q1708268) (← links)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
- The safety-critical Java memory model formalised (Q1941888) (← links)
- RiskStructures: a design algebra for risk-aware machines (Q1982648) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Reasoning about iteration and recursion uniformly based on big-step semantics (Q2154025) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Model transformations across views (Q2266947) (← links)
- Laws of mission-based programming (Q2355382) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- Isabelle/UTP: A Mechanised Theory Engineering Framework (Q2814613) (← links)
- Towards Algebraic Semantics of Circus Time (Q2814616) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- A Stepwise Approach to Linking Theories (Q2971179) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- Behavioural Models for FMI Co-simulations (Q3179405) (← links)
- Unifying Heterogeneous State-Spaces with Lenses (Q3179407) (← links)
- Circus Time with Reactive Designs (Q3455644) (← links)
- The Logic of U ·(TP)2 (Q3455647) (← links)
- Building Specifications in the Event-B Institution (Q5060190) (← links)
- Information Flow Control-by-Construction for an Object-Oriented Language (Q6111610) (← links)
- Flexible Correct-by-Construction Programming (Q6135766) (← links)