Past Master Projects

• Elbert van de Put: Ant Colony Optimization for Model Checking.
  
• Mark Frenken: Code Generation and Model-Based Testing in Context of OIL.
  
• Sjef van Loo: Verifying SPLs using parity games expressing variability.
  
• Stan Roelofs: Automatically proving equality of infinite sequences.
  
• Msc presentation Johri van Eerd.
  
• Kevin Nogarede: An approachable language for formal requirements.
  
• Ruud Meeuws: Model Checking Supermodels Workbench with mCRL2.
  
• Mark Bouwman: A model-based test platform for rail signalling systems.
  
• Hong Zhang: Quality metrics for ASOME data models.
  
• Ferry Timmers: A complete axiomatisation for probabilistic trace equivalence.
  
• Lisette Sanchez: Learning software behavior through active automata learning with data.
  
• Lois Nijland: Adding sequential composition and termination to the linear time – branching time spectrum.
  
• Astrid Belder: Decidability of bisimilarity and axiomatisation for sequential processes in the presence of intermediate termination.
  
• Marijn Rol: Verification of ASD multi-component systems in mCRL2.
  
• Ziad Ben Snaiba: Logics and Algorithms for Product and Family-Based Analysis of Software Product Lines.
  
• Ruud van Vijfeijken: Performance evaluation of network on chip using formal models.
  
• Maurice Laveaux: Abstracting real-valued parameters in parameterised Boolean equation systems.
  
• Roxana Paval: Modeling and Verifying Concurrent Data Structures.
  
• Perry van Wesel: Formal analysis of ring networks.
  
• Olav Bunte: Quantitative model checking on probabilistic systems using plmu*+.