(sigemb-info 419) [GRACE-announce] [event-info] [GRACE-staffs] The Top SE/GRACE Tutorial （6/29）

["Yumi YAMASAKI" <yumi1007@xxxxxxxxx>]

ご関係者各位

いつもお世話になっております。

本ＭＬをお借りいたしまして
トップエスイー/ GRACEチュートリアル（6/29）の
ご案内を差し上げます。

尚、重複して案内を受け取られた方は
ご了承くださいますようお願い申し上げます。

田口　研治（ＮＩＩ）
event-info@xxxxxxxxxxxxxxx
====================================================================

トップエスイー/ GRACE Tutorial（6/29）のご案内
The Top SE/GRACE Tutorial on Advanced Software Science and Engineering

下記の日程で、トップエスイー/ GRACE Tutorialを開催いたします。

「KIV 証明器に関する」トップエスイー/グレースチュートリアル

  日時：2009年6月29日（月） 16:30-18:30
  場所：国立情報学研究所(NII) 20階セミナー室１

参加費は無料です。今回参加登録の必要はございません。
ふるってのご参加をお待ちしております。


I am pleased to announce The Top SE/GRACE Tutorial on Advanced Software
Science 
and Engineering.

Date: June 29 (Mon) 16:30-18:30
Place:20F Seminar Room 1, NII

The registration fee is free.
We are looking forward to meeting you at The Top SE/GRACE Tutorial.

You can find the detailed information below:

=====================================================================
Details：
Speaker: Adrian Klein, Florian Wagner (U. Augsburg)

Abstract:
In this talk, we will introduce the KIV prover developed by the Department
of Software Engineering and Programming Languages of the University of
Augsburg. The KIV prover supports a wide variety of specification languages,
such as, a subset of CASL, an algebraic specification language, or ASMs
(Abstract State Machines). KIV is an interactive prover, that has been
applied to many safety/security critical applications. A quite notable
application of this prover is the Mondex case study, which is a part of the
Verification Grand Challenge.

In our talk we will present different kinds of logic that KIV supports and
show how KIV can be applied to solve real-world problems by several case
studies. After this introduction we will give an in-depth demonstration of
the KIV prover by elaborating several live-examples. The KIV tool and
related material can be downloaded from the following URL:

http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/kiv


=================== GRACEセンターからのお知らせ ======================

GRACEセンター（先端ソフトウェア工学・国際研究センター）では、
今後GRACEセミナーなどのイベント案内や研究資料など、
GRACEセンターに関する情報をEメールにてお届けしています。

■お申し込みは↓■
http://grace-center.jp/mail_member.html
是非ご購読下さい！購読料は無料です。

[GRACEセンター]
http://www.grace-center.jp/index.html
[メールマガジンについてのお問い合わせ]
owner-grace-bulletin@xxxxxxxxx

*****************************
GRACEセンター 事務局
event-info@xxxxxxxxxxxxxxx
*****************************