ProVeLines: A Product Line of Verifiers for Software Product Lines

Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay

Research output: Contribution to conference › Paper › peer-review

3 results

Finished
Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines
CORDY, M. (Researcher), Heymans, P. (CoI) & Schobbens, P. Y. (CoI)
1/10/11 → 30/09/15
Project: PHD
VLPL: Software Product Lines Verification
Heymans, P. (PI), Schobbens, P. Y. (PI), Classen, A. (Researcher), CORDY, M. (Researcher), KANG, E.-Y. (Researcher) & Legay, A. (Researcher)
1/01/11 → 1/01/13
Project: Research
TPA: Theory and Practice of Automata and Logics
Schobbens, P. Y. (PI), CORDY, M. (Researcher), KANG, E.-Y. (Researcher) & Ortiz Vega, J. J. (Researcher)
1/01/11 → 31/12/14
Project: Research