HybridFluctuat: a static analyzer of numerical programs within a continious environment (2009)

by Olivier Bouissou , Eric Goubault , Sylvie Putot , Karim Tekkal , Franck Vedrine
Venue:In Proc. of the 21st Computer Aided Verification (CAV'09
Citations:10 - 3 self