News
AVVA accepted
Posted at 23/01/18 - 11:01 AM
News feed: 
Our TOP project on accelerating verification and applying verification to advanced parallel algorithms recently got granted by NWO. The project is a collaboration between researchers from the Dutch eScience centre and members from our group.
Previous Posts
| Title | |
| 05/04/19 | Paper at FORTE |
| 26/01/19 | New mCRL2 Overview Paper Accepted at TACAS |
| 12/10/18 | Best Paper at FACS! |
| 04/09/18 | ERTMS-HL3 study receives Best Paper award |
| 01/09/18 | VOICE-B |
| 17/08/18 | Yay: Excellent Course Evaluation! |
| 17/08/18 | Using Quotienting to solve PBESs |
| 17/08/18 | BDD-based Parity Game Solving |
| 23/05/18 | Here come counterexamples! |
Copyright © 2018 Tim A.C. Willemse | based on a design by alec gorge