Formal Specifications on Industrial-Strength Code-From Myth to Reality
Abstract elided by the publisher.
Related papers
- Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial) CAV 2008
- Bidirectional Data Flow Analysis in Code Motion: Myth and Reality SAS 1998
- Send-receive considered harmful: Myths and realities of message passing TOPLAS 2004
- Translation: Myth or Reality? (Panel Session) OOPSLA 1996
- The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk) CPP 2022
- ABC: An Academic Industrial-Strength Verification Tool CAV 2010
- TAJ: effective taint analysis of web applications PLDI 2009
- Meta-level features in an industrial-strength theorem prover POPL 2012