×

dReal

swMATH ID: 7157
Software Authors: Gao, Sicun; Kong, Soonho; Clarke, Edmund M.
Description: dReal: an SMT solver for nonlinear theories over the reals. We describe the open-source tool dReal, an SMT solver for nonlinear formulas over the reals. The tool can handle various nonlinear real functions such as polynomials, trigonometric functions, exponential functions, etc. dReal implements the framework of δ -complete decision procedures: It returns either unsat or δ -sat on input formulas, where δ is a numerical error bound specified by the user. dReal also produces certificates of correctness for both δ -sat (a solution) and unsat answers (a proof of unsatisfiability).
Homepage: http://dreal.cs.cmu.edu/
Keywords: SMT solver
Related Software: z3; Coq; HOL Light; MathSAT5; Yices; CalCS; MetiTarski; GitHub; dReach; SMT-LIB; Sostools; QEPCAD; KeYmaera; SMT-RAT; RSOLVER; Gurobi; Matlab; Gappa; KeYmaera X; raSAT
Cited in: 50 Documents
Further Publications: http://dreal.cs.cmu.edu/publications.html
all top 5

Cited by 135 Authors

4 Mazo, Manuel jun.
4 Mitsch, Stefan
4 Platzer, André
3 Cimatti, Alessandro
3 Griggio, Alberto
3 Sebastiani, Roberto
2 Abate, Alessandro
2 Ahmed, Daniele
2 Barrett, Clark W.
2 de Albuquerque Gleizer, Gabriel
2 Delimpaltadakis, Giannis
2 Grosu, Radu
2 Irfan, Ahmed
2 Islam, Md. Ariful
2 Khanh, To Van
2 Ogawa, Mizuhito
2 Paulsen, Brandon
2 Peruffo, Andrea
2 Roux, Pierre
2 Roveri, Marco
2 Rümmer, Philipp
2 Smolka, Scott A.
2 Tan, Yong Kiam
2 Tinelli, Cesare
2 Tung, Vu Xuan
2 Wang, Chao
2 Wintersteiger, Christoph M.
2 Zeljić, Aleksandar
1 Abbasi, Rosa
1 Ahrendt, Wolfgang
1 Althoff, Matthias
1 Backeman, Peter
1 Bae, Kyungmin
1 Baranowski, Mark
1 Bartholomew, Michael
1 Bauer-Marquart, Fabian
1 Beica, Andreea
1 Bigarella, Filippo
1 Bogomolov, Sergiy
1 Bonacina, Maria Paola
1 Bouissou, Olivier
1 Briggs, Ian
1 Chapman, Margaret P.
1 Chapoutot, Alexandre
1 Chen, Xin
1 Chiang, Wei-Fan
1 Clarke, Edmund Melson jun.
1 Cleaveland, Rance
1 Conchon, Sylvain
1 Constantinides, George A.
1 Cordwell, Katherine
1 Coward, Samuel
1 Dahlqvist, Fredrik
1 Dai, Liyun
1 Darulova, Eva
1 Deshmukh, Jyotirmoy V.
1 Djaballah, Adel
1 Donaldson, Alastair F.
1 Drane, Theo A.
1 Dutle, Aaron M.
1 Edwards, Alec
1 Fenton, Flavio H.
1 Feret, Jérôme
1 Figueiredo, Daniel Ratton
1 Gallicchio, James
1 Gan, Ting
1 Gao, Sicun
1 Giacobbe, Mirco
1 Gopalakrishnan, Ganesh Lalitha
1 Herrera, Christian
1 Iguernlala, Mohamed
1 Jonáš, Martin
1 Jones, Paul L.
1 Kieffer, Michel
1 Kochdumper, Niklas
1 Kolárik, Tomáš
1 Kong, Soonho
1 Kremer, Gereon
1 Lahijanian, Morteza
1 Larraz, Daniel
1 Laurenti, Luca
1 Lee, Joohyung
1 Leue, Stefan
1 Li, Xuandong
1 Lincoln, Patrick D.
1 Lipparini, Enrico
1 Magron, Victor
1 Matringe, Nadir
1 Mohammadinejad, Sara
1 Morini, Emiliano
1 Moura, Arnaldo Vieira
1 Muñiz, Marco
1 Muñoz, César A.
1 Murthy, Abhishek
1 Narkawicz, Anthony Joseph
1 Navarro-López, Eva María
1 Nuzzo, Pierluigi
1 Oliveras, Albert
1 Olveczky, Peter Csaba
1 O’Toole, M. D.
...and 35 more Authors

Citations by Year