Solver-Info of "UltimateBuchiAutomizer"
view original solver-info on star-exec: 3942| Name: | UltimateBuchiAutomizer |
| 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. |
| Last Update from Star-Exec: | 2015-08-21 10:07:45.262768 UTC |