Is formal verification overly theoretical?
While the foundations of formal verification are deeply rooted in theoretical computer science and mathematics, my aim has always been to bridge the gap between theory and practice. The development of tools like PRISM, and the emphasis on systematic modeling and algorithmic reasoning, are geared towards making these techniques applicable to real-world systems. The challenge is to make these powerful methods accessible and efficient enough for engineers to use effectively.
Ask Joost-Pieter Katoen the follow-up →