See News

Wytse Oortwijn wins Best Paper Award at iFM 2019

Wytse Oortwijn of the Formal Methods and Tools group, received the Best Paper Award for his paper "Practical Abstractions for ultimated Verification of Message Passing Concurrency".