Search for
google

ソフトウェア形式手法分野へようこそ！


CafeOBJ キューブ
(CafeOBJ 公式ページ)
ニュースとお知らせ
2012/04/06 2012年度仮配属学生が配属されました．短い間ですがよろしくお願いします．
2011/11/9 ソフトウェア検証研究センターセミナーが行われます．詳細はセンターウェブページ内のイベントをご参照下さい．
2011/4/6 2011年度仮配属学生が配属されました．短い間ですがよろしくお願いします．
2011/3/1-2011/3/4 ルーマニアのシナイアでSecond Romanian-Japanese Algebraic Specification Workshopが開催されました．
2010/09/14 本研究室所属の永浦尊信君が， 日本ソフトウェア科学会第27回大会おいて， 「形式手法を用いたバケット同期法の検証」を発表しました．
2010/07/07 2010年度本配属学生新歓コンパが行われました．今後ともよろしくお願いします．
2010/06/30 2010年度本配属学生が配属されました．今後ともよろしくお願いします．
2010/04/14 2010年度 仮配属学生 新歓コンパが行われました．短い間ですがよろしくお願いします．
2009/09/12 本研究室所属の志村北斗君が,平成21年度電気関係学会北陸支部連合大会において，「HTTP Mutualにおける相互認証過程の形式化」を発表しました．
2009/07/08 2009年度 本配属学生 新歓コンパが行われました．今後ともよろしくお願いします．
2009/06/06 2009年度 オープンキャンパスが行われました．
2008/07/02 2008年度 本配属学生 新歓コンパが行われました．今後ともよろしくお願いします．
2008/05/09 研究室紹介が行われました． 研究室紹介スライド(pdf)
2008/04/23 2008年度 新歓コンパが行われました．今後ともよろしくお願いします．
2008/03/21 平成19年度の学位記授与式が行われ，本講座からは博士後期課程のJittisak SENACHAK君を始め，後期課程1名，前期課程3名（＋緒方研1名）がそれぞれ学位を取得しました．おめでとうございます
2008/03/10 3月6日から3月10日までルーマニアのSinaiaで"SINAIA SCHOOL ON FORMAL VERIFICATION OF SOFTWARE SYSTEMS"が開催されました
2008/01/08 Searchコマンドなどの機能が強化されたCafeOBJの最新版(1.4.8)のバイナリ（Windows, MacOSX(Intel)）がアップロードされました
2007/12/3 先端講義 Formal Methods (i613)（講師：二木）開講されました（12/3 - 2/5）
2007/10/17 PVSやSALなど先駆的な検証ツールの研究開発で著名なスタンフォード研究所(SRI)の形式手法グループのリーダーであるJohn Rushby博士がJAISTを訪問されました．
2007/09/11 キャッツ株式会社の次世代組込みソフトウェア基礎研究機関「CATS先端研究所 （CATS Advanced Laboratory：略称CAL）」の所長(非常勤)に二木教授が就任しました．
2007/09/06 2007年9月6日（木）〜7日（金）にキャンパス・イノベーションセンター東京 国際会議室(1F)にて21世紀COEシンポジウム「検証進化可能電子社会」が開催されます
2007/08/24 一日体験入学が開催されました
2007/08/21 CafeOBJの最新版(1.4.7)のバイナリ（Windows, Linux, MacOSX(Intel)）がアップロードされました
2007/07/30 プログラミング方法論 (Programming Methodology) (i217)（講師：二木）が開講されました（6/7 - 7/30）
2007/05/26 オープンキャンパス2007が開催されました．今年は，小説「パラサイト・イヴ」の著者・東北大学機械系特任教授・瀬名秀明氏の講演会など様々なイベントが行われ，本講座も情報科学研究科パネル展示コーナで展示を行いました
2007/05/07 メンバページ等を新年度のものに更新しました
2007/04/05 今年度の新入生が研究室に仮配属されました．ようこそJAISTへ
2007/03/22 平成１８年度学位記授与式が行われました．修了おめでとう
2007/12/5 Specification and Verification of Highly Reliable Systems（講師：二木）が開講されました（12/5 - 2/8）


過去のニュースとお知らせ

ソフトウェア検証研究センター