Point of contact
Virgile Prevosto, CEA List
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
- Natural language processing for software requirements: https://www.aclweb.org/anthology/search/?q=”software+requirements”
- Allamanis, M., Barr, E., Devanbu, P., & Sutton, C. A Survey of Machine Learning for Big Code and Naturalness. ACM Computing Surveys, 51. 2018