The following pages link to Refinement Calculus (Q4396958):
Displaying 25 items.
- Multiple Viewpoint Contract-Based Specification and Design (Q3602999) (← links)
- Computer-aided development of a real-time program (Q4798476) (← links)
- Unifying Semantics for Concurrent Programming (Q4922078) (← links)
- The algebra of multirelations (Q4925034) (← links)
- A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models (Q4991932) (← links)
- Building Specifications in the Event-B Institution (Q5060190) (← 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)
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720) (← links)
- Verified Compilation and the B Method: A Proposal and a First Appraisal (Q5179355) (← links)
- Concurrent Dynamic Algebra (Q5277895) (← links)
- Taming Multirelations (Q5278188) (← links)
- Algebra for Quantitative Information Flow (Q5283199) (← links)
- An Algebraic Approach to Refinement with Fair Choice (Q5403463) (← links)
- Hidden-Markov program algebra with iteration (Q5740625) (← links)
- Combining Top-Down and Bottom-Up Techniques in Program Derivation (Q5743597) (← links)
- Efficient verified (UN)SAT certificate checking (Q5919480) (← links)
- Effect polymorphism in higher-order logic (proof pearl) (Q5919584) (← links)
- Information Flow Control-by-Construction for an Object-Oriented Language (Q6111610) (← links)
- Flexible Correct-by-Construction Programming (Q6135766) (← links)
- Verification-Led Smart Contracts (Q6166532) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
- Bunch theory: axioms, logic, applications and model (Q6561347) (← links)
- Relation-algebraic verification of disjoint-set forests (Q6614547) (← links)
- IsaVODEs: Interactive verification of cyber-physical systems at scale (Q6653093) (← links)
