Displaying 2 results from an estimated 2 matches for "buchiautomizer".
2020 Feb 22
2
The AnghaBench collection of compilable programs
...i-functions and lots of
pre-colored registers), are chordal.
* We can check how well different tools are doing on real-world code.
For instance, we can use these benchmarks to check how many programs
can be analyzed by Ultimate Buchi Automizer
(https://ultimate.informatik.uni-freiburg.de/downloads/BuchiAutomizer/).
This is a tool that tries to prove termination or infinite execution
for some programs.
* We can check how many programs can be compiled by different
high-level synthesis tools into FPGAs. We have tried LegUp and Vivado,
for instance.
* Our webpage contains a search box, so that you can get th...
2020 Feb 22
3
The AnghaBench collection of compilable programs
...re chordal.
> >
> > * We can check how well different tools are doing on real-world code.
> > For instance, we can use these benchmarks to check how many programs
> > can be analyzed by Ultimate Buchi Automizer
> > (https://ultimate.informatik.uni-freiburg.de/downloads/BuchiAutomizer/).
> > This is a tool that tries to prove termination or infinite execution
> > for some programs.
> >
> > * We can check how many programs can be compiled by different
> > high-level synthesis tools into FPGAs. We have tried LegUp and Vivado,
> > for instance.
&...