PROGRAMS BY https://sf.net/apps/mediawiki/wca/index.php?title=Main_Page

WCA interprets a file containing the definitions of variables and expressions to be analysed, computes the worst case analysis, and prints the results. WCADB extends MathCAD to perform Monte-Carlo W.C.A. based on drifts taken