JBernstein: A Validity Checker for Generalized Polynomial Constraints

Chih-Hong Cheng , Harald Rueß and Natarajan Shankar

Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, pp. 656–661

2013 · doi: 10.1007/978-3-642-39799-8_43

url: http://dx.doi.org/10.1007/978-3-642-39799-8_43