Computer-Aided Reasoning for Product-Line Model Checking

  • Bruno Dawagne

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award3 Sep 2014
Original languageEnglish
Awarding Institution
  • University of Namur
SupervisorPatrick HEYMANS (Supervisor) & MAXIME CORDY (Co-Supervisor)

Cite this

Computer-Aided Reasoning for Product-Line Model Checking
Dawagne, B. (Author). 3 Sep 2014

Student thesis: Master typesMaster in Computer science