The YogiProject: Software Property Checking via Static Analysis and Testing.

Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur

Browse the full TACAS paper archive.