VeryMax-termCOMP17

loading
details

attribute value
name VeryMax-termCOMP17
description VeryMax is a tool for checking automatically safety properties, and proving termination and non termination for programs written in a tiny subset of the C plus plus language which includes linear operations with integer variables and loop and conditional statements. It can also handle integer transition systems. VeryMax is based on the work described in [Borralleras et al. WST2016], [Brockschmidt et al. FMCAD2015], [Larraz et al. FMCAD2013], and [Larraz et al. CAV2014].
owner Albert Rubio
uploaded Aug 05 2017
disk size 25.65 MB
build status uploaded built
configurations
name description
termcomp17 no description
termcomp2019_ITS no description

actions get anonymous link download