On Combining Formal and Informal Verification
No abstract available.
Related papers
- Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving CAV 2002
- Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences OOPSLA 2025
- Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization POPL 2019
- UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis CAV 2022
- Dependent Type Theory for Verification of Information Flow and Access Control Policies TOPLAS 2013
- Formal Verification of WTO-based Dataflow Solvers - Artifact Experience Report ESOP 2025
- End-to-end verification of information-flow security for C and assembly programs PLDI 2016
- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security CAV 2021