Formal Methods Toolbox