The Static Driver Verifier Research Platform.

Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg

Browse the full CAV paper archive.