Advanced Topics in Termination

Termination Tools

A selection of termination tools. Further tools can be found at the Termination Portal.

• AProVE
• CiME
• Jambox
• Matchbox
• MuTerm
• TTT2
• VMTL

Complexity Tools

• CAT
• TCT

Termination Competition

• Termination Competition