Assertion checking of control dominated systems with nonlinear solvers.

igo Ugarte, Pablo Sanchez

Browse the full MEMOCODE paper archive.