2
$\begingroup$

Comparative studies of tools like AProver, 2LS

$\endgroup$
  • 1
    $\begingroup$ Did you mean AProVE? $\endgroup$ – nekketsuuu Jul 18 '17 at 12:46
  • 4
    $\begingroup$ The body of your question should be complete unto itself. $\endgroup$ – Yuval Filmus Jul 18 '17 at 15:06
2
$\begingroup$

As mentioned by nekketsuuu, SV-COMP has a termination category, and the Termination Competition has been going on for quite some time (there is some overlap).

It depends on what kind of termination you are interested in. This paper on AProVE gives an overview of that tool, which covers many of the techniques involved in general program termination analysis and types of programs that can be handled, though it does not really analyze the comparative strengths of different tools.

Sadly, I'm not aware of any modern overview paper that does this, which is unfortunate. The tool description papers of the competition participants for your category of choice would be a good place to start.

| cite | improve this answer | |
$\endgroup$
1
$\begingroup$

How about looking at Competition on Software Verification (SV-COMP) held at TACAS? There is a category of termination. For example, here is a link to SV-COMP 2017.

| cite | improve this answer | |
$\endgroup$
1
$\begingroup$

As the other answerers I'm not aware of such a study although it would be nice to have some. Instead, I would point to several benchmarks that the authors of these tools produce. A comparative study should benefit from it. I will set this as a community wiki so that other people can add references to other benchmarks/studies:

Benchmarks

Stainless verification framework

Termination Problems Data Base

Comparative studies

| cite | improve this answer | |
$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.