Maurice Laveaux: Accelerated Verification of Concurrent Systems


Event Details


On November 22, 2022, Maurice Laveaux will defend his thesis titled ‘Accelerated Verification of Concurrent Systems’, which is available via https://research.tue.nl/en/publications/accelerated-verification-of-concurrent-systems. The defence will also be streamed online via MS Teams. The link to the stream is available on request from m.laveaux@tue.nl.