2
$\begingroup$

Comparative studies of tools like AProver, 2LS

$\endgroup$

closed as too broad by David Richerby, Evil, vonbrand, hengxin, Niel de Beaudrap Aug 21 '18 at 10:04

Please edit the question to limit it to a specific problem with enough detail to identify an adequate answer. Avoid asking multiple distinct questions at once. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

  • 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.

$\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.

$\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

$\endgroup$

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