Hari Govind Vediramana Krishnan

Publication Activity (10 Years)

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

Top Topics

Alternating Time Temporal Logic

Partial Order Reduction

Top Venues

Publications

Hari Govind Vediramana Krishnan, Yuting Chen, Sharon Shoham, Arie Gurfinkel
Global Guidance for Local Generalization in Model Checking. CAV (2) (2020)
Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel
Interpolating Strong Induction. CAV (2) (2019)