Artificial Intelligence in Software Verification

Point of contact

Virgile Prevosto, CEA List

Summary

Conversely, there are several points were AI could help the verification of programs. Notably, natural language processing techniques could be useful to extract formal specification from informal, high-level requirements. Similarly, being able to categorize code fragments against a relevant set of features would help many verification tasks (by proposing a better parameterization of the analyzers, generating appropriate loop invariants, …).

A few references