HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.

Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Vdrine

Browse the full CAV paper archive.