この程、形式手法で世界のトッププラスの会議(CAV, FMなど)に多数の研究を発表
されている NIIの客員准教授のJin-Song Dong博士に講演を頂くことになりました。
Dong博士は、確率付きモデル検査ツール(PAT)の開発者でもあり、その最新動向を
ご紹介頂く予定です。皆様のご参加をお待ちしいたしております。
※今回のセミナーは英語で行われます。
◆◆第65回GRACEセミナー ～ PATモデル検査ツールの最新動向 ～◆◆
【日時】2013年2月7日（木）13:00-14:00
【会場】国立情報学研究所(NII) 20階 ミーティングルーム1・2（2009/2010）
〒101-8430 東京都千代田区一ツ橋2-1-2
[http://www.nii.ac.jp/about/access/]
【参加費】無料
参加ご希望の方は，下記よりご登録をお願いいたします:
http://form1.fc2.com/form/?id=628975
【お問い合わせ先】
石川冬樹(seminar-steering_AT_grace-center.jp)
_AT_を＠に書き換えてください。
—————————————-
Title: Recent Progress on PAT Model Checking Systems
Speaker: Jin-Song Dong, the National University of Singapore (NUS)
Abstract:
This seminar reports latest progress made on PAT model checking
systems (http://pat.comp.nus.edu.sg). PAT is a self-contained
framework for system modelling, simulation and verification. PAT
integrates and significantly extends a variety of state-of-the-art
model checking techniques, ranging from customizable system modelling,
user-definable abstraction, to highly optimized model checking
algorithms. It has become a powerful toolkit for system analysis.
Since PAT was made available online 5 years ago, it has attracted more
than 2400 registered users from more than 550 organizations in 60
countries, including research institutes like Microsoft Research,
Oxford University, MIT as well as industrial companies like Sony and
Hitachi. In addition, it has been adopted to teach system modelling
and verification techniques or model checking itself in multiple
universities worldwide.
Biography:
Jin-Song Dong received Bachelor and PhD degrees in computing from the
University of Queensland in 1992 and 1996. From 1995-1998, he was a
Research Scientist at the Commonwealth Scientific and Industrial
Research Organization (CSIRO) in Australia. Since 1998 he has been in
the Computer Science Department at the National University of
Singapore (NUS) where he is currently an Associate Professor. He has
been a visiting faculty at NII and visiting fellow at Oxford. He is on
the editorial board of Formal Aspects of Computing and Innovations in
Systems and Software Engineering. Jin Song is steering committee
member of the International Conference on Formal Engineering Methods
(ICFEM) and the Asia Pacific Software Engineering Conference (APSEC).
He is the General Chair for upcoming conferences the18th ICECCS 2013
and the 19th FM 2014.
