Projects per year
Search results
-
Active
CFV: Federated Centre for Software Verification
Schobbens, P. Y. (PI), Bontemps, Y. (Researcher), Ortiz Vega, J. J. (Researcher) & KANG, E.-Y. (Researcher)
1/10/99 → …
Project: Research
-
Finished
VEREV: Verification of recursive, evolutive, real-time software
Schobbens, P. Y. (PI) & KANG, E.-Y. (Researcher)
1/02/11 → 31/01/12
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
-
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