Dynamite is the termination/nontermination analysis tool described in dynamic termination and nontermination analysis.
The repository on github is here. It contains the ANANT nonlinear nontermination benchmark converted to C format (and more).
Dynamite is the termination/nontermination analysis tool described in dynamic termination and nontermination analysis.
The repository on github is here. It contains the ANANT nonlinear nontermination benchmark converted to C format (and more).