Pages that link to "Item:Q835780"

The following pages link to Balancing the load. Leveraging a semantics stack for systems verification (Q835780):

Displaying 3 items.

• Proving fairness and implementation correctness of a microkernel scheduler (Q835766) (← links)
• HOL-Boogie -- an interactive prover-backend for the verifying C compiler (Q2655335) (← links)
• Cogent: uniqueness types and certifying compilation (Q5019022) (← links)