Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial)
No abstract available.
Related papers
- Formal Specifications on Industrial-Strength Code-From Myth to Reality CAV 2006
- The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk) CPP 2022
- Bidirectional Data Flow Analysis in Code Motion: Myth and Reality SAS 1998
- Theorem Proving for Verification (Invited Tutorial) CAV 2008
- Learning Algorithms and Formal Verification (Invited Tutorial) VMCAI 2007
- Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial) CAV 2011
- Invited Tutorial: Verification of Infinite-State and Parameterized Systems CAV 2000
- Send-receive considered harmful: Myths and realities of message passing TOPLAS 2004