Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software
Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements
Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software