Formal Methods Update Meeting 2016: List of Speakers


Soumyadip BandyopadhyayBITS, GoaEquivalence Checking of Petri Net Based Models of Programs
Aiswarya CyriacCMIOn recency bounded verification of dynamic database driven systems
Ashutosh GuptaTIFRFence synthesis using happens-before formulas
Kumar MadhukarTRDDC/CMISoftware Model Checking for People Who Love Automata
Amaldev ManualCMIAutomata for People Who Love Software Model Checking
Paritosh PandyaTIFRHeterogenous requirement modelling: Analysis and controller synthesis
Anil SethIIT KanpurSome Classical results on Downward and Effectively Downward closure of Word languages
Subodh SharmaIIT DelhiDynamic Discovery of Safety Violations in Parallel Software Using Representative
Sachin SrivastavaCitrixGenerating Quantified Invariants from Scalar Invariants