UltimateBuchiAutomizer2015

loading
details

attribute value
name UltimateBuchiAutomizer2015
description Ultimate Buchi Automizer can analyze termination of C programs. http://ultimate.informatik.uniMINUSfreiburg.de/BuchiAutomizer/ Ultimate Buchi Automizer is maintained by Matthias Heizmann [University of Freiburg, Germany] Ultimate Buchi Automizer is part of Ultimate http://ultimate.informatik.uniMINUSfreiburg.de/ to which many people contributed.
owner Matthias Heizmann
uploaded 2016-08-14 20:07:08.0
disk size 95.11 MB
build status uploaded built
configurations
name description
default no description
java no description
z3test no description

actions get anonymous link download