|
| attribute |
value |
| name |
ultimate! |
| 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. |
| uploaded |
2023-02-10 08:39:31.0 |
| disk size |
388.97 MB |
| build status |
uploaded built |
|
