FormaSys

Funding: Inria Associate Team
PI: Cyril Cohen (CASH), Reynald Affeldt (AIST, Japan)
URL: https://team.inria.fr/formasys/
Dates: 2025 – 2027
Keywords: Formalization, Cyberphysical systems