A Verification Toolkit for Numerical Transition Systems - Tool Paper.

Hossein Hojjat, Filip Konecn, Florent Garnier, Radu Iosif, Viktor Kuncak, Philipp Rmmer

Browse the full FM paper archive.