Project Details


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.
Effective start/end date1/01/111/01/13


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

Research Output

A methodology for formal analysis and verification of EAST-ADL models

Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P., 31 Jul 2013, In : Reliability Engineering and System Safety. 120, p. 127-138 12 p.

Research output: Contribution to journalArticle

  • Model checking adaptive software with featured transition systems

    Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 Jan 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Cámara, J., de Lemos, R., Ghezzi, C. & Lopes, A. (eds.). Heidelberg Dordrecht London New York: Springer, Vol. 7740. p. 1-29 29 p. (Lecture Notes in Computer Science).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

    Open Access
  • 188 Downloads (Pure)