{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T05:42:47Z","timestamp":1781588567331,"version":"3.54.5"},"reference-count":10,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T00:00:00Z","timestamp":1779926400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/publication-rights-and-licensing-policy"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2026,6,1]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/3773295","type":"journal-article","created":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T15:05:21Z","timestamp":1779807921000},"page":"46-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Artificial Intelligence for Software Engineering: From Probable to Provable"],"prefix":"10.1145","volume":"69","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5985-7434","authenticated-orcid":false,"given":"Bertrand","family":"Meyer","sequence":"first","affiliation":[{"name":"Constructor Institute of Technology, Chair of Software Engineering, Schaffhausen, SH, Switzerland"},{"name":"Eiffel Software, Goleta, California, United States"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,5,28]]},"reference":[{"key":"e_1_3_1_2_2","unstructured":"Begh A. O\u2019Donoghue D. and Monahan R. A short survey on formalising software requirements using large language models (2024); https:\/\/arxiv.org\/abs\/2506.11874"},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA250221"},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/3785652"},{"key":"e_1_3_1_5_2","unstructured":"Huang L. et al. Do AI models help produce verified bug fixes? (2025); https:\/\/arxiv.org\/abs\/2507.15822."},{"key":"e_1_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Johnson B. and Menzies T. AI over-hype: A dangerous threat (and how to fix it). IEEE Software (Nov. 2024); https:\/\/bit.ly\/47hVcyN","DOI":"10.1109\/MS.2024.3439138"},{"key":"e_1_3_1_7_2","unstructured":"Izadi M. et al. Language models for code completion: A practical evaluation. In Proceedings of ICSE 2024 (2024); https:\/\/arxiv.org\/abs\/2402.16197"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06739-6"},{"key":"e_1_3_1_9_2","unstructured":"Meyer B. AI does not help programmers Commun. ACM blog (June 2023); https:\/\/cacm.acm.org\/blogcacm\/ai-does-not-help-programmers\/"},{"key":"e_1_3_1_10_2","unstructured":"Meyer B. The ABC of software engineering. (2013); https:\/\/bit.ly\/4oXVYba"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3673428"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3773295","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T13:57:04Z","timestamp":1779976624000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3773295"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,28]]},"references-count":10,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2026,6,1]]}},"alternative-id":["10.1145\/3773295"],"URL":"https:\/\/doi.org\/10.1145\/3773295","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5,28]]},"assertion":[{"value":"2025-08-28","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2026-05-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}