Related projects

2017-2020. IoTTTA, IoT software testing using timed automata. Indo-French project supported by CNRS and DST, under the CEFIPRACNRSInria targeted program on ICT

2014-2016. AVeRTS, Algorithmic Verification of Real-Time Systems. Indo-French project supported by CNRS and DST, under the CEFIPRACNRSInria targeted program on ICT.

2012-2016. InForMeL, Indo-French Formal Methods Lab. Indo-French research program supported by CNRS, Université de Bordeaux, École Normale Supérieure de Cachan, Chennai Mathematical Institute, Institute of Mathematical Sciences and Indian Institute of Science.