Verified Software Toolchain - (Invited Talk)
No abstract available.
Related papers
- The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk) CPP 2022
- Singularity: Designing Better Software (Invited Talk) CAV 2008
- Proof assistants at the hardware-software interface (invited talk) CPP 2020
- Software Verification "Across the Stack" (Invited Talk) ECOOP 2015
- Teaching algorithms and data structures with a proof assistant (invited talk) CPP 2021
- Mechanized verification of preemptive OS kernels (invited talk) CPP 2017
- Is Polyglot Programming Really a Thing? (Invited Talk) DLS 2023
- Coq's vibrant ecosystem for verification engineering (invited talk) CPP 2022