Sufficient Preconditions for Modular Assertion Checking
No abstract available.
Related papers
- Almost-correct specifications: a modular semantic framework for assigning confidence to warnings PLDI 2013
- Necessary and Sufficient Preconditions via Eager Abstraction APLAS 2014
- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections VMCAI 2011
- Underspecified harnesses and interleaved bugs POPL 2012
- An Expressive Assertion Language for Quantum Programs POPL 2026
- Bit-Precise Procedure-Modular Termination Analysis TOPLAS 2018
- Sound Modular Verification of C Code Executing in an Unverified Context POPL 2015
- Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic SAS 2017