Currently browsing

Accelerated Verification of Concurrent Systems

Maurice Laveaux Promotores: dr.ir. Tim Willemse (TU/e) and prof.dr.ir. Jan Friso Groote (TU/e) Eindhoven University of Technology Date: 22 November, 2022 Thesis: PDF Summary Computers are ubiquitous in our daily lives, ranging from the small chip in your debit card to the data centres that form the foundation of the internet. The behaviour …