Algorithms and Logics for Verification

Search results

• An approachable language for formal requirements

  Nogarede, K. A. H. M. (Author), Willemse, T. A. C. (Supervisor 1), Schiffelers, R. R. H. (External coach) & Groote, J. F. (Supervisor 2), 11 Dec 2019

  Student thesis: Master

  File

• Code generation and model-based testing in context of OIL

  Frenken, M. H. M. (Author), Willemse, T. A. C. (Supervisor 1) & van Gool, L. C. M. (External coach), 10 Dec 2019

  Student thesis: Master

  File

• Extraction of Invariants in Parameterised Boolean Equation Systems

  Liem, E. (Author), Willemse, T. A. C. (Supervisor 1), 28 Sept 2023

  Student thesis: Master

  File

• Fairness Assumptions in the Modal µ-Calculus

  Spronck, M. S. C. (Author), Willemse, T. A. C. (Supervisor 1), 7 Sept 2023

  Student thesis: Master

  File

• Formalising the State Machine Modelling Tool (SMMT)

  van Laarhoven, J. E. P. M. (Author), Willemse, T. A. C. (Supervisor 1), van Gool, L. C. M. (Supervisor 2) & Bunte, O. (Supervisor 2), 1 Dec 2023

  Student thesis: Master

  File

• New algorithms and heuristics for solving Variability Parity Games

  Degeling, K. (Author), Willemse, T. A. C. (Supervisor 1), 19 Nov 2021

  Student thesis: Master

  File

• Optimising parity game solvers using dynamic SCC maintenance

  Huijsmans, A. M. (Author), Willemse, T. A. C. (Supervisor 1), 13 Sept 2021

  Student thesis: Master

  File

• Optimizing the code generator for OIL

  Buskens, T. (Author), Bunte, O. (Supervisor 1), Willemse, T. A. C. (Supervisor 2) & van Gool, L. (External coach), 6 Oct 2021

  Student thesis: Master

  File

• Static Variable Ordering for BDD Compilation

  Cauberg, S. L. M. (Author), Dubslaff, C. (Supervisor 1), 16 Sept 2024

  Student thesis: Master

  File

• Visualisation of large Labelled Transition Systems

  van Ieperen, N. G. (Author), Willemse, T. A. C. (Supervisor 1), 22 Apr 2021

  Student thesis: Master

  File