Pages that link to "Item:Q1203115"
From MaRDI portal
The following pages link to A verification system for concurrent programs based on the Boyer-Moore prover (Q1203115):
Displaying 5 items.
- Theories for mechanical proofs of imperative programs (Q1267030) (← links)
- A mechanically verified incremental garbage collector (Q1336946) (← links)
- Simplification of boolean verification conditions (Q1575276) (← links)
- A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7<sup>™</sup> Processor (Q4230664) (← links)
- Wait-free linearization with a mechanical proof (Q5137000) (← links)
