Compositional Verification Using SVL Scripts
Abstract elided by the publisher.
Related papers
- S: a scripting language for high-performance RESTful web services PPoPP 2012
- Gradual typing for first-class classes OOPSLA 2012
- Rash: from reckless interactions to reliable programs GPCE 2018
- Automate where Automation Fails: Proof Strategies for Frama-C/WP TACAS 2024
- TacTok: semantics-aware proof synthesis OOPSLA 2020
- A calculus for uniform feature composition TOPLAS 2010
- Analysing installation scenarios of Debian packages TACAS 2020
- Experience report: seL4: formally verifying a high-performance microkernel ICFP 2009