[FM] Maude

　今日はFormal Methods Forumの勉強会で、いつものCoq (CPDT)の話の他に、Maudeをちょっと触ってみた、という話をしました。

　Maudeは項書き換え系の言語で形式仕様記述やモデル検査、DSL記述などにも使える言語です。
　Coqと違って証明も出来るけどメインは仕様記述＆それ自体がプロトタイプとして動く、かなぁ。パズルとかにも役に立つかも。

　あわてて作った資料なんで完成度は低いですがこちら。
Slideshare上のプレゼン
PDF資料

　Maudeに興味のある方はコメント頂けると嬉しいです。