Software Verification in the Age of Artificial Intelligence

The AI tsunami is transforming every aspect of software engineering. What does it hold in store for the world’s software and for the profession itself? Beyond the buzz, can "vibe coding" scale up to the production of the high-quality systems the world increasingly requires? How do these evolutions affect testing and, more generally, software verification?

The talk will address these questions and, more generally, analyze what software development will look like in the new, AI-rich world. It will particularly focus on the need for a modern form of software verification, supported by advanced tools and combining the best of dynamic techniques (tests) and static ones (proofs), all supported by AI agents. It will also draw the lessons for software developers and testers who are (legitimately) concerned about career strategies want to navigate the new development/AI landscape successfully.

Bertrand Meyer

Bertrand Meyer is Professor of Software Engineering and Provost at the Schaffhausen Institute of Technology in Switzerland and CTO of Eiffel Software (based in Santa Barbara). His is the author of several well-known books on software topics, particularly object technology, programming languages, software verification, and agile methods. He is a recipient of the ACM Software System Award and the IEEE Harlan Mills prize and an ACM Fellow. His previous ACM TechTalks were devoted to Design by Contract, agile methods, and concurrent programming.