プログラム mpvs.sf.net

仕様、ループ不変性、およびサブ問題への分解に基づいて、古典的なプログラミング方法論を深く理解するのに役立つ実用的なツール。