Assertion Checking Unified.

Sumit Gulwani, Ashish Tiwari

Browse the full VMCAI paper archive.