| トピックス |
| 2012/03/28 |
モデル検査サービスの利用期間を2012年3月末まで，としていましたが，2012年4月からも
引き続きサービスを継続します。サービスの利用期間は2013年2月末までの予定です。
どうぞ，ご利用ください。 |
|
| 2012/03/28 |
サーバメンテナンスのため，03/29 11:30～13:00の期間はモデル検査サービスを停止します。
ご迷惑をお掛けしますが，ご了承ください。 |
|
| 2011/10/11 |
サーバメンテナンスのため，10/14～10/16の期間はモデル検査サービスを含め，
本サイトの稼動を停止します。ご迷惑をお掛けしますが，ご了承ください。 |
|
| 2011/08/26 |
SWEST13（2011/09/01～09/02 於 下呂温泉 水明館）でセッション発表を行います。
（タイトル：「目で見てわかるモデル検査」） |
|
| 2011/08/18 |
(独)産業技術総合研究所 様が主催される「モデル検査技術演習の試行開催」に協賛いたします。
SMVファイルの作成に関する説明資料を更新しました。
当研究会の新たなメンバとして，株式会社フォーマルテックが加わりました。 |
|
| 2011/04/01 |
| 2011-03-31に連絡しましたサーバのメンテナンスを完了しました。モデル検査サービスも利用可能です。 |
|
| 2011/03/31 |
2011年度も引き続き，64bit版モデル検査器によるモデル検査サービスを継続します。
ただし，サーバのメンテナンスのため，4/1～4/4の期間はモデル検査サービスを停止します。ご迷惑をお掛けしますが，ご了承ください。
（なお，検査対象とするファイルのアップロードは受け付けております） |
|
| 2011/02/15 |
[検査結果の確認]のページに，時相論理式(SPEC)とその結果の一覧を表示するように修正しました。
※結果がFalseの場合，リンクをクリックすると反例の内容を表示します。 |
|
| 2011/01/14 |
サーバのメンテナンスのため，1/14～1/15の期間，「64bit版モデル検査器によるモデル検査サービス」を停止します。ご迷惑をお掛けしますが，ご了承ください。
（なお，検査対象とするファイルのアップロードは受け付けております） |
|
| 2011/01/14 |
| 1/20～1/21に開催されます「ウィンターワークショップ2011・イン・修善寺」で「64bit版モデル検査器によるモデル検査サービス」を紹介します。 |
|
| 2011/01/14 |
| 「リンク」のページに，組込みシステム産業振興機構さま，産業技術総合研究所 組込みシステム技術連携研究体さまへのリンクを追加しました。 |
|
| 2011/01/14 |
| 各ページにリンクバナーを追加しました。 |
|
|
|
|
|
|
|
| 2010/09/14 |
日本ソフトウェア科学会 第27回大会（＠津田塾大学 小平キャンパス）において，
「64bit版モデル検査器によるモデル検査サービス」の試作版を公開しました |
|
| 2010/09/14 |
| SES2010とSWEST12でポスター展示を行いました |
|
| 過去のトピックス |
| 謝辞 |
我々の活動に先立ち，モデル検査の基礎技術習得，及びモデル検査サービスの開設にあたって，
(独)産業技術総合研究所 組込みシステム技術連携研究体 様からご協力をいただきました。
また，64bit版モデル検査器の開発，及びモデル検査サービスの開設にあたって，
京都産業大学 コンピュータ理工学部長 平石 裕実 教授からご協力をいただきました。 |
| お二方に厚く御礼申し上げます。 |
|
|
では，
