1 Select one of the predefined examples or write your own vml program to analyze.

2 Click Analyze to produce the behavioral type of the program and its corresponding cost equations.

3 Click Calculate Costs to solve the cost equations using CoFloCo.

Input program

//TODO: Select an example or write your own code

Behavioral type

//TODO: Click analyze to infer program behavioral type

Cost Equations

//TODO: Click analyze to calculate cost equations

Upper bounds

//TODO: Click 'Calculate Cost' to solve the cost equations