15:09
2026-07-28
bertrandmeyer.com
artificial-intelligence
Questions and answers on AI and verification: follow-up to my May ACM Tech Talk
Bertrand Meyer, author of 'AI for Smarties,' is answering unanswered questions from his May 7 ACM Tech Talk on software verification and AI, covering ethics of generative AI, safety of AI-written code…