2 citations · 2 across the 4 of their papers we have counts for
4 papers
Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong
Seyed K. Fayaz, Yoshiaki Tobioka, Sagar Chaki +1
Network operators today spend significant manual effort in ensuring and checking that the network meets their intended policies. While recent work in network verification has made…
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…
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…
Verification Across Intellectual Property Boundaries
Sagar Chaki, Christian Schallhart, Helmut Veith
In many industries, the importance of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP)…