Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects.

Peter T. Breuer, Simon Pickin

Browse the full SEW paper archive.