Static Analysis and Software Assurance
Abstract elided by the publisher.
Related papers
- High Assurance Software for Financial Regulation and Business Platforms VMCAI 2022
- Galois: high assurance software ICFP 2004
- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator TACAS 2023
- Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software TOPLAS 2026
- Lightweight confinement for featherweight Java OOPSLA 2003
- Constant-time foundations for the new spectre era PLDI 2020
- Running the manual: an approach to high-assurance microkernel development Haskell 2006
- Show Me The Money: An Exercise in Proof-Driven Software Understanding CAV 2026