Linear Matrix Inequalities in System and Control Theory, Society for Industrial and Applied Mathematics, 1994. ,
DOI : 10.1137/1.9781611970777
The astrée static analyzer (2013) URL http ,
From Control Systems to Control Software, IEEE Control Systems Magazine, vol.30, issue.6, pp.50-71, 2010. ,
DOI : 10.1109/MCS.2010.938196
What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991. ,
DOI : 10.1145/103162.103163
Accuracy and Stability of Numerical Algorithms, 2002. ,
DOI : 10.1137/1.9780898718027
PVS specification and verification system, 2013. ,
Software reliability methods, 2001. ,
DOI : 10.1007/978-1-4757-3540-6