Step 1a: Write your ABS code in the text area:

Step 1b: or you can upload a file with ABS code:

Step 1c: or you can choose one of our examples:

Step 1d: Choose the analysis you want to use:

Traditional Termination and Cost Analysis
Rely-guarantee Termination Analysis
Rely-guarantee Cost Analysis (Under development)
Deadlock Analysis