The paper “A Comparison of BDD-Based Parity Game Solvers” by Lisette Sanchez, Wieger Wesselink and Tim Willemse has been accepted for presentation at the International Symposium on Games, Automata, Logics, and Formal Verification (GandALF) that will be held in September in Saarbrücken (Germany). The work builds on the FSA seminar assignment carried out by Lisette in …continue reading
Author: Tim Willemse
Paper on counterexample generation accepted for presentation at ARQNL
The paper “Evidence Extraction from Parameterised Boolean Equation Systems” by Wieger Wesselink and Tim Willemse was accepted for presentation at ARQNL (part of FLoC 2018, Oxford, UK). It provides the theoretical and practical foundations for constructing counterexamples in mCRL2 when verifying (first-order) modal mu-calculus properties.
Paper accepted at SACMAT
The paper “Efficient Extended ABAC Evaluation” by Charles Morisset (Newcastle University), Tim Willemse and Nicola Zannone (TU/e) has been accepted for presentation at the ACM Symposium on Access Control Models and Technologies (SACMAT 2018) in Indianapolis, IN, USA. The paper proposes an efficient, BDD-based method to evaluate extended ABAC policies, addressing attribute hiding attacks. A case study on two …continue reading
New group member: Maurice Laveaux
Maurice Laveaux started as a PhD candidate in the AVVA project in our group. He will be exploring ways of using parallelism for accelerating verification and use verification to prove the correctness of highly parallel programs.
Prestigious TOP-grant awarded
The Accelerated Verification and Verification Accelerated (AVVA) proposal by Jan Friso Groote, Tim Willemse and Anton Wijs, and Rob van Nieuwpoort (eScience Centre/UvA) has been granted by the Dutch Science Foundation NWO. The project provides funding for two PhD students and a postdoc for fundamental research on accelerating model checking using hypercomputers and verifying programs written …continue reading