activity
20072015
most citedScalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2014

SMT-based Model Checking for Recursive Programs

Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki

We present an SMT-based symbolic model checking algorithm for safety verification of recursive programs. The algorithm is modular and analyzes procedures individually. Unlike other…

cs.LO2013

Automatic Abstraction in SMT-Based Unbounded Software Model Checking

Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki +1

Software model checkers based on under-approximations and SMT solvers are very successful at verifying safety (i.e. reachability) properties. They combine two key ideas -- (a) "con…