Worst Case Analysis Toolset