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*+.