Questions and answers on AI and verification: a follow-up to my May ACM Tech Talk

On May 7, I gave a well-attended ACM Tech talk on “Software Verification in the Age of Artificial Intelligence”. There were more questions at the end than I had the time to answer, but I promised the participants that I would answer everything. In the meantime I had to finish my book AI for Smarties: ... Read more The post Questions and answers on AI and verification: a follow-up to my May ACM…