Meeting 3

Dates and location

Meeting 3 of the CATS project took place on October 15th, 2013 in Hà Nội, Việt Nam.



Survey on compositional analysis of timed systems

Work in progress; presentation by Hữu Vũ. And now?

Implementation of a Petri nets module in PAT

Almost done, except synchronization (Lê Đình Thuận)

Discussion on extending SOGs to the timed case

Preliminary work started

Implementation of the modular verification approach

Implementation by Wu Zhimin, almost finished.

STIC Asie Centre National de la Recherche Scientifique, France

Hồ Chí Minh City University of Technology Laboratoire d’Informatique de Paris Nord, Sorbonne Paris Cité, Université Paris 13, France Nanyang Technology University, Singapore National University of Singapore, Singapore Singapore University of Technology and Design