Towards Continuous Verification

Point of contact

Virgile Prevosto, CEA List

Summary

Formal verification is usually understood as taking place in a traditional V development cycle, i.e., occurring at a late stage, over stable and mature code. This goes against newer practices (DevOps). Letting software analyzers scale to whole software repositories and offer incremental results when launched over successive revisions of the same components is an important challenge in this respect.

A few references