The 65th GRACE Seminar on Advanced Software Science and Engineering
http://grace-center.jp/
Time: 13:00-14:00, Feb 7th, 2013
Place: Seminar Room, 20F, National Institute of Informatics（map）
Inquiry: Fuyuki Ishikawa(seminar-steering_AT_nii.ac.jp)
Fee: Free
Please register via the following page:
http://form1.fc2.com/form/?id=628975″
============================================
[Program] * Lecture is given in English
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.
