Book published: Concise Guide to Software Verification - From Model Checking to Annotation CheckingSee https://link.springer.com/book/10.1007/978-3-031-30167-4Read more
17 October 2023, 14:45: Thesis defense Sophie LathouwersOn Tuesday 17 October next, Sophie Lathouwers will defend her thesis Exploring Annotations for Deductive Verification. Her supervisor is Prof. Dr. Marieke Huisman.Read more
Book published: Concise Guide to Software Verification - From Model Checking to Annotation Checking
17 October 2023, 14:45: Thesis defense Sophie Lathouwers
Papers of the month:
New project 'Open Competitie ENW M22-3'
Two new FMT members: Fernando Castor and Edoardo Putti
FORTE 2023 Best artefact for Petra van den Bos and Marielle Stoelinga
New FMT member: Ramish Bhutto
Papers of the month:
VIDI Grant for Arnd Hartmanns!
Papers of the month:
NIAS-Lorentz Theme Group 2025
ZORRO project Kick-off meeting 25 May 2023