.. _acknowledgement:

Acknowledgement
===============

Developers
----------

FVM has been designed and developed by:

- Hipólito Guzmán-Miranda (Universidad de Sevilla & AICIA, Spain)
- Marcos López García (Universidad de Sevilla & AICIA, Spain)

with the awesome guidance and support of the project's Technical Officer:

- Alberto Urbón Aguado (European Space Agency)

Funding
-------

The FVM project gratefully acknowledges the funding from the `European Space
Agency <https://www.esa.int>`_, through its `Open Space Innovation Program
<https://ideas.esa.int>`_, specifically the activity `“Lowering the adoption
barriers for Formal Verification of ASIC and FPGA designs in the space sector”
<https://activities.esa.int/4000144681>`_

Many thanks
-----------

We express a lot of gratitude to the many personnel from different institutions
who have contributed to make this project possible, and/or make it sail
smoother and farther:

- Miguel Ángel Tagua Navarrete (AICIA)
- Rosa de las Morenas Rodríguez (AICIA)
- David Merodio Codinachs (ESA)
- Ourania Vourvachaki (ESA)
- Sarah Allan (Siemens EDA)
- Stefano Stablum (Siemens EDA)
- Jerome Peillat (Siemens EDA)
- Olivier Bocquillon (Siemens EDA)
- Kirolos Magdy (Siemens EDA)
- Hassan Khaled (Siemens EDA)
- Bobana Brzacki (Siemens EDA)
- Colin Sheehan (Siemens EDA)