ACKNOWLEDGEMENTS.md

# 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](https://www.secopera.eu) (2023-2025)
- [Medsecurance](https://www.medsecurance.org/) (2023-2025)
- [EnsureSec](https://www.ensuresec.eu/index.html) (2020-2022)
- [Sparta](https://www.sparta.eu/) (2019-2022)
- [Decoder](https://www.decoder-project.eu) (2019-2022)
- [Vessedia](https://cordis.europa.eu/project/id/731453) (2017-2020)
- [Stance](https://cordis.europa.eu/project/id/317753) (2012-2016)

## French projects

### ANR

- [OptiTrust](https://anr.fr/Projet-ANR-22-CE25-0017) (2022-2026)
- [CoMeMov](https://anr.fr/Project-ANR-22-CE25-0018) (2022-2025)
- [U3CAT](https://www.frama-c.com/u3cat/) (2009-2012)
- [Device-Soft](https://anr.fr/Project-ANR-09-CARN-0006) (2009-2011)
- [CAT](https://anr.fr/Projet-ANR-05-RNTL-0003) (2006-2009)

### PEPR

- [SecurEval](https://www.pepr-secureval.com/) (2022-2027)

### Others

- [LEIA](https://list.cea.fr/fr/21-septembre-2021-leia-automatise-lanalyse-logicielle-pour-garantir-la-securite-des-objets-connectes/) (2021-2022)
- [INGOPCS](https://www.s2opc.com/ingopcs/) (2016-2018)
- [Hi-Lite](https://www.open-do.org/projects/hi-lite/index.html) (2010-2013)