开发者 https://sf.net/apps/mediawiki/wca/index.php?title=Main_Page

WCA 免费

WCA 解释包含要分析的变量和表达式的定义的文件，计算最坏情况分析并打印结果。WCADB 扩展 MathCAD 以根据从外部.C的漂移执行蒙特卡罗 W.A. 。