Continuous Formal Verification of Amazon s2n
No abstract available.
Related papers
- Formal Reasoning About the Security of Amazon Web Services CAV 2018
- Relational Hoare Logic for Realistically Modelled Machine Code CAV 2025
- A Billion SMT Queries a Day (Invited Paper) CAV 2022
- Symbolic Model Checking for TLA+ Made Faster TACAS 2023
- Mechanized relational verification of concurrent programs with continuations ICFP 2019
- Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization POPL 2019
- A PL/CV Precis POPL 1979
- Programming the cloud PPoPP 2011