Predicate abstraction for reachability analysis of hybrid systems, ACM Transactions on Embedded Computing Systems, vol.5, issue.1, pp.152-199, 2006. ,
DOI : 10.1145/1132357.1132363
Ariadne: a framework for reachability analysis of hybrid automata, Proc. MTNS 2006, pp.1259-1267, 2006. ,
Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves, 2007. ,
A Generic Library for Floating-Point Numbers and Its Application to Exact Computing, Proc. TPHOLS 2001, pp.169-184, 2001. ,
DOI : 10.1007/3-540-44755-5_13
URL : https://hal.archives-ouvertes.fr/hal-00157285
Users' manual for the Sollya tool, LIP, 2008. ,
Taylor models and other validated functional inclusion methods, Int. J. Pure Appl. Math, vol.4, issue.4, pp.379-456, 2003. ,
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY, The Journal of Logic and Algebraic Programming, vol.64, issue.1, pp.135-154, 2005. ,
DOI : 10.1016/j.jlap.2004.07.008
URL : https://hal.archives-ouvertes.fr/inria-00071850
Formal Global Optimisation with Taylor Models, Proc. IJCAR, pp.408-422, 2006. ,
DOI : 10.1007/11814771_35