
PRISM
 Referenced in 289 articles
[sw01186]
 BDDs (binary decision diagrams) and MTBDDs (multiterminal BDDs); one based on sparse matrices ... been successfully used to analyse probabilistic termination, performance, and quality of service properties...

ode23
 Referenced in 161 articles
[sw06600]
 specify whether the integration is to terminate at a zero and whether the direction ... integration is to terminate at a zero of this event function and 0 otherwise. direction...

Walksat
 Referenced in 184 articles
[sw04328]
 assignment satisfies all clauses, the algorithm terminates, returning the assignment. Otherwise, a variable is flipped...

AProVE
 Referenced in 106 articles
[sw07831]
 AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework. AProVE ... most powerful systems for automated termination proofs of term rewrite systems (TRSs ... permits a completely flexible combination of different termination proof techniques. Due to this framework, AProVE ... also the first termination prover which can be fully configured by the user...

ASSAT
 Referenced in 141 articles
[sw02524]
 model M (terminates with failure if no such M exists). If M is an answer...

Tyrolean
 Referenced in 67 articles
[sw07830]
 Tyrolean Termination Tool 2 (TTT2) is a tool for automatically proving (and disproving) termination ... completely redesigned successor of TTT. Current (non)termination techniques include: approximated dependency graph, argument filtering...

tn
 Referenced in 96 articles
[sw05140]
 truncated Newton method is to terminate the iterations earlier. A preconditioned truncated Newton method...

MUTERM
 Referenced in 39 articles
[sw10015]
 term: A Tool for Proving Termination of ContextSensitive Rewriting. Restrictions of rewriting can eventually ... achieve termination by pruning all infinite rewrite sequences issued from every term. Contextsensitive rewriting ... which can be used to automatically prove termination of CSR. The tool implements the generation ... appropriate orderings for proving termination of CSR by means of polynomial interpretations over the rational...

Pesca
 Referenced in 71 articles
[sw13664]
 Pesca can both be seen on the terminal and printed into LaTeX files. The user...

DART
 Referenced in 55 articles
[sw07260]
 program crashes, assertion violations, and nontermination. Preliminary experiments to unit test several examples...

SPDE
 Referenced in 35 articles
[sw16714]
 used interactively on a computer terminal. In many cases the determining system is solved completely ... input information for the solution algorithm to terminate. The package should only be used...

Hat
 Referenced in 28 articles
[sw13679]
 used for programs that terminate normally, that terminate with an error message or that terminate...

CiME
 Referenced in 24 articles
[sw09970]
 Enno Ohlebusch at Bielefeld university for termination of logic programs; the MUTERM tool ... www.dsic.upv.es/ slucas/csr/termination/muterm/ ) for termination of contextsensitive rewriting; the CARIBOO tool (developed at INRIA Nancy ... GrandEst) for termination of rewriting under strategies; and the MTT tool (http://www.lcc.uma.es/ duran/MTT ... termination of Maude programs. CiME2 is no longer maintained, and the currently developed version...

Matchbox
 Referenced in 21 articles
[sw10115]
 language, and of the set of nonterminating strings, with respect to an (inverse) match ... various ways to search for proofs of termination and nontermination. Matchbox is the first ... program that delivers automated proofs of termination for some difficult string rewriting systems...

CoLoR
 Referenced in 19 articles
[sw09806]
 application to the automated verifications of termination certificates. Termination is an important property of programs ... developed to address the problem of deciding termination for specific problems (since it is undecidable ... application to the automated verification of termination certificates, as produced by termination tools...

ITPACK
 Referenced in 31 articles
[sw00459]
 iteration parameters and realistic procedures for terminating the iterative processes. An important application of ITPACK...

NLPQLP
 Referenced in 29 articles
[sw04073]
 overcome error situations, which usually lead to termination. It is possible to solve...

KernelLEAF
 Referenced in 29 articles
[sw08982]
 cope with partial (undefined or nonterminating) functions. This is achieved by introducing the distinction...

CARIBOO
 Referenced in 14 articles
[sw10064]
 CARIBOO: a multistrategy termination proof tool based on induction. A termination proof tool ... rulebased programs CARIBOO is a termination proof tool for rulebased programming languages, where ... existing tools, which prove in general termination of standard rewriting (rewriting without strategy ... CARIBOO (for Computing AbstRaction for Induction Based termination prOOfs), allows proving termination under specific reduction...