Artificial Intelligence for Software Engineering: From Probable to Provable

Communications of the ACM 2026

View at publisher
Authors: Bertrand Meyer
DOI: 10.1145/3773295
Cited by: 1
References: 5

Abstract

Combining the creativity of artificial intelligence with the rigor of formal specification methods and the power of formal program verification, supported by modern proof tools.

Fields of Study & Subjects

Computability Logic AI Algorithms Cognitive Computing and Networks Explainable Artificial Intelligence (XAI)

Publication details

Journal / source
Communications of the ACM
Publisher
Association for Computing Machinery (ACM)
Volume
69
Issue
6
Pages
46–49
Publication date
26 May 2026
Language
EN