2 citations · 3 across the 4 of their papers we have counts for
1 paper · 2 filters
Rahul Kumar, Chetan Bansal, Jakob Lichtenberg
In this paper we describe our experience of using Microsoft Azure cloud computing platform for static analysis. We start by extending Static Driver Verifier to operate in the Micro…