Gomathi Ganesan

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 2

Top Topics

Automated Verification

Temporal Properties

Bounded Model Checking

Top Venues

Publications

Wei Su, Yifei Liu, Gomathi Ganesan, Gerard J. Holzmann, Scott A. Smolka, Erez Zadok, Geoff Kuenning
Model-Checking Support for File System Development. HotStorage (2021)
Asha Rajbhoj, Padmalata Nistala, Vinay Kulkarni, Gomathi Ganesan
A RFP System for Generating Response to a Request for Proposal. ISEC (2019)