description |
cycsrs is a tool that proves cycle termination by combining several techniques. It uses the tool torpacyc implemented by Hans Zantema which searches for trace decreasing matrix interpretations and it transforms the cycle termination problem into a string termination problem and then applying AProVE Developers of cycsrs are David Sabel and Hans Zantema. |