曇り空、夕方から雨。湿度が高く、体がきしむ。午前は上司に呼び出され、某申請の登録作業。午後は打ち合わせ。その後、NuSMV をダウンロードして使ってみる。並行プロセスの検査の例題を解いてみるが、結構面白い。 帰宅して夕食、牛スジ肉のトマトソースパ…