Search for
google

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


CafeOBJ キューブ
(CafeOBJ 公式ページ)
ニュースとお知らせ
2013/05/24 2014年4月に開催されるシンポジウムの情報をアップしました.
2012/06/27 メンバー一覧を更新しました.
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 平成18年度学位記授与式が行われました.修了おめでとう
2007/12/5 Specification and Verification of Highly Reliable Systems(講師:二木)が開講されました(12/5 - 2/8)


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

Specification, Algebra, and Software A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014)

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