Frama-C: Static Analysis Deployment in Industrial Contexts

Download Report

Transcript Frama-C: Static Analysis Deployment in Industrial Contexts