Developed by Critina Borralleras, Daniel Larraz, José Miguel Rivero, Albert Oliveras, Enric Rodríguez-Carbonell and Albert Rubio
This version of VeryMax provides termination and non termination analysis and it is available as a binary compiled for Linux x64.
News: VeryMax won the C Integer Programs and Integer Transition Systems categories of the 2016 International Termination and Complexity Competition.Some experiments run in StarExec are available:
This version of VeryMax provides a safety checker and it is available as a binary compiled for Linux x64.
The C++ version of all benchmarks is also included with the binaries. Check the README file for some help about the usage of the tool.
This reasearch is partially supported by