A Verification Toolkit for Numerical Transition Systems - Tool Paper.
['Hossein Hojjat', 'Filip Konečný', 'Florent Garnier', 'Radu Iosif', 'Viktor Kuncak', 'Philipp Rümmer']
A Verification Toolkit for Numerical Transition Systems - Tool Paper.