ISR 2024 – Track A

Tools

Completion Tools

• KBCV
• Maxcomp
• mkbTT
• Waldmeister

Confluence Tools

• ACP
• FORT
• Hakusan
• CONFident
• CSI

First-Order Theory Tools

• FORT

Termination Tools

• AProVE
• matchbox
• MuTerm
• NaTT
• NTI
• TORPA
• TTT2