Verify: a toolbox for deterministic verification of computational models

The application of Agent Based Models (ABMs) in biology and immunology has recently come to the fore, thanks to their ability to accurately describe complex biological behaviors, rules, and interactions, without the need to use complex mathematical formalisms. However, even if there is a growing interest in applying such methodologies to improve and speed up the research of novel pharmaceutical products, verification and validation procedures voted at assessing ABMs credibility are far from being well-established. We present Verify, the first toolbox of instruments selected and designed for the verification of discrete-time models, with a focus on agent-based approaches. The toolbox has a friendly GUI, does not require the installation of any additional software, and can easily find possible numerical errors and incongruences that may affect such models.