Article
The Symbiosis of Formal Methods and Artificial Intelligence
2026-06-05
Abstract excerpt
Formal methods are software engineering approaches with a rigorous mathematical basis that can be used in helping to ensure the correctness of software systems, especially where safety or security is critical. Artificial Intelligence (AI) has developed very rapidly in the area of Generative AI (GenAI), where questions can be answered with increasingly impressive but with potentially unreliable and variable results...
Topics
Open a Topic to create a Post that cites this publication.
Identifiers and source
- Literature Corpus work
- 4e66c255-04d2-5689-898e-3b1c74bcd11b
- DOI
- 10.20944/preprints202603.0373.v2