ACKNOWLEDGEMENTS.md 1.29 KiB
Acknowledgements
The development of Frama-C has been fuelled by many collaborative projects, notably at French and European level. Below is a list of the most important ones
European projects
- SecOPERA (2023-2025)
- Medsecurance (2023-2025)
- EnsureSec (2020-2022)
- Sparta (2019-2022)
- Decoder (2019-2022)
- Vessedia (2017-2020)
- Stance (2012-2016)
French projects
ANR
- OptiTrust (2022-2026)
- CoMeMov (2022-2025)
- U3CAT (2009-2012)
- Device-Soft (2009-2011)
- CAT (2006-2009)
PEPR
- SecurEval (2022-2027)