Q&A after ACM Webinar on Software Verification in the Age of Artificial Intelligence

On May 7 I gave a well-attended seminar on Software Verification in the Age of Artificial Intelligence (see the announcement here and the recording there). There was not enough time for all the questions that came up at the end. This post will serve to continue the discussion, for anyone interested. Feel free to use ... Read more The post Q A after ACM Webinar on Software Verification in the Age…