Symbolic Model Checking on August 10, 2026


Location: Meeting Room, 5th Floor, East Building, North Park, Xixi Campus

Online Meeting: https://rwth.zoom-x.de/j/69017242470

Paper Venue Title of the Presentation Presenter Time Slot
– Opening Remarks Mingshuai Chen 10:00-10:15
CAV 2025/2026 Certifying Symbolic Model Checking Nils Froleyks 10:15-11:00
Certifying Symbolic Model Checking
Presenter: Nils Froleyks Abstract: Model checking complex systems is indispensable in safety-critical applications. At the same time, model checkers are becoming increasingly complex and now include components built on statistical AI, making the implementations themselves inherently difficult to trust.
Aug 10, 2026