Detecting Domain-Specific Coding Errors with Static Analysis

Making Safety-Critical Software Development Affordable with Static Analysis