Pages that link to "Item:Q877156"
From MaRDI portal
The following pages link to Verifying a signature architecture: a comparative case study (Q877156):
Displaying 4 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)
- Mechanizing the Powerset Construction for Restricted Classes of ω-Automata (Q3510798) (← links)
- HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier (Q3543656) (← links)
