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, through its Open Space Innovation Program, specifically the activity “Lowering the adoption barriers for Formal Verification of ASIC and FPGA designs in the space sector”

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)