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 2014Show all

1 paper · 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…