Pages that link to "Item:Q5705937"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705937):
Displayed 9 items.
- Proving fairness and implementation correctness of a microkernel scheduler (Q835766) (← links)
- Formal verification of C systems code. Structured types, separation logic and theorem proving (Q835768) (← links)
- Formal memory models for the verification of low-level operating-system code (Q835773) (← links)
- Balancing the load. Leveraging a semantics stack for systems verification (Q835780) (← links)
- A mechanical analysis of program verification strategies (Q928673) (← links)
- On the correctness of upper layers of automotive systems (Q1019015) (← links)
- Types, Maps and Separation Logic (Q3183535) (← links)
- Imperative Functional Programming with Isabelle/HOL (Q3543655) (← links)
- HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier (Q3543656) (← links)