PhD defense Freark van der Berg: 7 November 2025 14:30 DMC Model Checker - Delta-Driven Variable-Length Next-State Generation via Recursive Compression

Freark van der Berg will defend his thesis 'DMC Model Checker - Delta-Driven Variable-Length Next-State Generation via Recursive Compression' this afternoon at 14:30 in Waaier 4. For more info, see the UT webpages.