Description

A Software Product Line (SPL) is a set of related software variants, developed from shared assets.
Software Verification aims at improving software quality by detecting errors, or guaranteeing their absence.
This project will develop temporal logics and automata models geared towards this problem.
AcronymVLPL
StatusFinished
Effective start/end date1/01/111/01/13

Keywords

  • software verification
  • automata
  • software product lines
  • model checking