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):
Displayed 4 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)