search for: buchiautom

Displaying 2 results from an estimated 2 matches for "buchiautom".

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 ge...
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 instanc...