VERICOMP

VERICOMP, a system for comparing and testing verified solvers for initial value problems. Verified solvers generate numerical sets that are mathematically proved to contain exact solutions.