Co-Verification of Parametric Timed Automata and Event-B Models
GWEUGNA Gibris
- Director(s)
- Laure PETRUCCI, Frédéric MALLET
- Start date
- 2025-10-01
Equipe SAFER
Current theses
Efficient lightweight verification of cyberphysical systems
TA QUANG Minh
- Director(s)
- Etienne ANDRE, Laure PETRUCCI
- Start date
- 2025-09-01
SYNthesis in PArametric TImed games with Concurrency and data
FIEVET Baptiste
- Director(s)
- Laure PETRUCCI, Jaco VAN DE POL
- Start date
- 2022-10-01