| Title | : | Bounded Model Checking of Systems Software |
| Speaker | : | Siddharth Priya (University of Waterloo) |
| Details | : | Tue, 4 Nov, 2025 3:00 PM @ SSB 334 |
| Abstract: | : | Ensuring the correctness of systems software is critical, but traditional testing offers no formal guarantees. Formal verification provides stronger assurance, and bounded model checking has proven to be a particularly powerful approach. Yet, despite its promise, widespread adoption in everyday software development remains limited. This talk explores why — focusing on two core challenges: bridging the gap between developer intent and the design of verification tools, and advancing automated reasoning to scale verification to industrial programs. The speaker will share strategies for improving usability and demonstrate how enhanced reasoning can make formal verification more practical, scalable, and developer-friendly. |
