×

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; CalCS; MathSAT5; HOL Light; Coq; Yices; SMT-LIB; dReach; SpaceEx; MiniSat; MetiTarski; QEPCAD; RealPaver; RSOLVER; raSAT; SMT-RAT; CVC4; GitHub; Mosek; SDPA
Cited in: 38 Publications
Further Publications: http://dreal.cs.cmu.edu/publications.html
all top 5

Cited by 111 Authors

2 Barrett, Clark W.
2 Cimatti, Alessandro
2 Griggio, Alberto
2 Grosu, Radu
2 Irfan, Ahmed
2 Islam, Md. Ariful
2 Khanh, To Van
2 Mitsch, Stefan
2 Ogawa, Mizuhito
2 Platzer, André
2 Rakamarić, Zvonimir
2 Roux, Pierre
2 Roveri, Marco
2 Rümmer, Philipp
2 Sebastiani, Roberto
2 Smolka, Scott A.
2 Tinelli, Cesare
2 Tung, Vu Xuan
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 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 Chiang, Wei-Fan
1 Claessen, Koen
1 Clarke, Edmund Melson jun.
1 Cleaveland, Rance
1 Conchon, Sylvain
1 Dahlqvist, Fredrik
1 Dai, Liyun
1 Darulova, Eva
1 Deshmukh, Jyotirmoy V.
1 Djaballah, Adel
1 Donaldson, Alastair F.
1 Dutle, Aaron
1 Fenton, Flavio H.
1 Feret, Jérôme
1 Figueiredo, Daniel Ratton
1 Gallicchio, James
1 Gan, Ting
1 Gao, Sicun
1 Gopalakrishnan, Ganesh Lalitha
1 Herrera, Christian
1 Iguernlala, Mohamed
1 Johansen, Christian
1 Jonáš, Martin
1 Jones, Paul L.
1 Kieffer, Michel
1 Kochdumper, Niklas
1 Kong, Soonho
1 Kremer, Gereon
1 Larraz, Daniel
1 Lee, Joohyung
1 Lincoln, Patrick D.
1 Luteberget, Bjørnar
1 Magron, Victor
1 Matringe, Nadir
1 Mazo, Manuel jun.
1 Mohammadinejad, Sara
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.
1 Pappas, George J.
1 Paulsen, Brandon
1 Petrov, Tatjana
1 Podelski, Andreas
1 Rebiha, Rachid
1 Reynolds, Andrew
1 Rodríguez-Carbonell, Enric
1 Rubio, Albert
1 Salvia, Rocco
1 Sangiovanni-Vincentelli, Alberto L.
1 Sankaranarayanan, Sriram
1 Schiffl, Jonas
1 Seshia, Sanjit Arunkumar
1 Shmarov, Fedor
1 Shoukry, Yasser
1 Solovyev, Alexey
1 Steffen, Martin
1 Tabuada, Paulo
1 Tan, Yong Kiam
...and 11 more Authors

Citations by Year