CloudSDV Enabling Static Driver Verifier Using Microsoft Azure.

Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal

Browse the full IFM paper archive.