Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements
Finding All Potential Run-Time Errors and Data Races in Automotive Software