Meeting 3
Dates and location
Meeting 3 of the CATS project took place on October 15th, 2013 in Hà Nội, Việt Nam.
Participants
- Étienne André (LIPN, Université Paris 13, Sorbonne Paris Cité, France)
- Lê Đình Thuận
- Lin Shang-Wei (林尚威) (Temasek Labs, National University of Singapore)
- Nguyễn Hữu Vũ
- Nguyễn Truong Khanh (School of Computing, National University of Singapore)
- Laure Petrucci (LIPN, Université Paris 13, Sorbonne Paris Cité, France)
- Quản Thành Thơ (Department of Software Engineering, Hồ Chí Minh City University of Technology, Việt Nam)
- Wu Zhimin
Discussion
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.
