29 citations · 73 across the 19 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…