150 citations · 341 across the 17 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 29 cited
Satisfiability Modulo ODEs
Sicun Gao, Soonho Kong, Edmund Clarke
We study SMT problems over the reals containing ordinary differential equations. They are important for formal verification of realistic hybrid systems and embedded software. We de…
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…