を見つけたので、メールにて報告。 まぁ、初版ですから。 (追記)返事が返ってきました。平成16年12月10日 第1版第2刷では直っているらしいです。この本この前買ったばかりなのに〜

http://dontaku.csce.kyushu-u.ac.jp/books/ProgramSpecification/ IT Text プログラム仕様記述論 を見ながら、静的検証を行うプログラムを作ってみました。 プログラムと、事前条件＋事後条件＋ループ不変条件を設定すれば、検証条件を出力します。 言語体…