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, and compliance wit…