Formal Verification of Stability of Embedded Control Systems

Project Information

VeriStab

Grant agreement ID: 631622

Closed project

Start date 1 March 2014

End date 28 February 2018

Funded under

• Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Total cost € 100 000,00

EU contribution € 100 000,00

Coordinated by

FUNDACION IMDEA SOFTWARE
Spain