Assertion Checking Unified
No abstract available.
Related papers
- Sufficient Preconditions for Modular Assertion Checking VMCAI 2008
- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions ESOP 2006
- Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion CAV 1995
- PHALANX: parallel checking of expressive heap assertions ISMM 2010
- GC assertions: using the garbage collector to check heap properties PLDI 2009
- Asynchronous assertions OOPSLA 2011
- A Unifying Model Checking Approach for Safety Properties of Parameterized Systems CAV 2001
- Java and the Java Memory Model - A Unified, Machine-Checked Formalisation ESOP 2012