プログラム https://sf.net/apps/mediawiki/wca/index.php?title=Main_Page

WCA は、分析する変数と式の定義を含むファイルを解釈し、最悪の場合の分析を計算して結果を出力します。WCADB は、外部データベースから取得したドリフトに基づいて、MathCAD を拡張してモンテカルロ W.C.A. を実行します。