必要なファイル(beamer,pgf,xcolor)をダウンロードして展開 texmfの適切なフォルダに上記をコピー bin/mktexlsr.exeにてtexmfデータベースを更新 あとはbeamerのサンプルでも適当にえらんで Pdflatex ファイル すればよろしい なぜかpltex→dvipdfmでつくった…

最近研究活動が滞っている。活を入れねば。ところでMaudeでは、LTLの検査モジュールが同梱されており、 これをつかってモデル検査をすることができる。 以下はTurorialの写経。最初に検査したい本体(tutorial例題ではMUTEX)の動作を定義します。 load model-…