131 citations · 397 across the 37 of their papers we have counts for
1 paper · 1 filter
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…