Achievements

Publications

Scientific Event

All participants jointly took part to the organization of FSFMA 2014 in Singapore (May 2014).

Tool development

Implementation and test of the latest LTL to BA conversion (LTL3BA)

Implementation of a compositional verification module in PAT

Implementation of a Petri Net module in PAT


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