The following pages link to (Q4536898):
Displaying 25 items.
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Power simulation and its relation to traces and failures refinement (Q1884900) (← links)
- Denotational semantics of channel mobility in UTP-CSP (Q1982650) (← links)
- Integration of formal proof into unified assurance cases with Isabelle/SACM (Q2065527) (← links)
- Reasoning about iteration and recursion uniformly based on big-step semantics (Q2154025) (← links)
- Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP (Q2154026) (← links)
- Isabelle/UTP: A Mechanised Theory Engineering Framework (Q2814613) (← links)
- Angelicism in the Theory of Reactive Processes (Q2814614) (← links)
- Towards Algebraic Semantics of Circus Time (Q2814616) (← links)
- Lazy Relations (Q3498411) (← links)
- Towards Modelling Obligations in Event-B (Q3535374) (← links)
- (Q4471919) (← links)
- Unifying Semantics for Concurrent Programming (Q4922078) (← links)
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses (Q5098716) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- A Unary Semigroup Trace Algebra (Q5098727) (← links)
- Compositionality: Ontology and Mereology of Domains (Q5187818) (← links)
- Understanding, Explaining, and Deriving Refinement (Q5861785) (← links)
- Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP (Q5861786) (← links)
- Linking formal methods in software development. A reflection on the development of rCOS (Q6535826) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)
- Concurrent hyperproperties (Q6535831) (← links)
- Assume-guarantee reasoning for additive hybrid behaviour (Q6535836) (← links)
- Time: it is only logical! (Q6535837) (← links)
- Applying formal verification to an open-source real-time operating system (Q6535839) (← links)
