Projects per year
Projects 1989 2023
Active
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/19
Project: Research
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frenay, B., Schobbens, P., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/21
Project: Research
Thesis-JRO: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. & Schobbens, P.
1/09/17 → 31/08/23
Project: PHD
EUTYPES: The European research network on types for programming and verification
21/03/16 → 20/03/20
Project: Research
CFV: Federated Centre for Software Verification
Schobbens, P., Bontemps, Y., Ortiz Vega, J. J. & Kang, E.
1/10/99 → …
Project: Research