A Tool Integrating Model Checking into a C Verification Toolset. - Subash Shankar; Gilbert Pajela (SPIN, 2016)