The following pages link to (Q4411818):
Displayed 14 items.
- Completeness of fair ASM refinement (Q541210) (← links)
- Relational bytecode correlations (Q710672) (← links)
- Frame rule for mutually recursive procedures manipulating pointers (Q732009) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- VST-Floyd: a separation logic tool to verify correctness of C programs (Q1663238) (← links)
- Abstraction and subsumption in modular verification of C programs (Q2147702) (← links)
- Verified software units (Q2233451) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- A program logic for resources (Q2463560) (← links)
- Rule-Based Operational Semantics for an Imperative Language (Q2864516) (← links)
- Relational Decomposition (Q3087994) (← links)
- Reasoning About Resources in the Embedded Systems Language Hume (Q3460507) (← links)
- Certification Using the Mobius Base Logic (Q3602993) (← links)
- Completeness of ASM Refinement (Q5403462) (← links)