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; Yices; MathSAT5; HOL Light; Coq; MetiTarski; dReach; SMT-LIB; SpaceEx; MiniSat; QEPCAD; RealPaver; RSOLVER; raSAT; SMT-RAT; CVC4; GitHub; Mosek; SDPA Cited in: 38 Publications Further Publications: http://dreal.cs.cmu.edu/publications.html Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year dReal: an SMT solver for nonlinear theories over the reals. Zbl 1381.68268Gao, Sicun; Kong, Soonho; Clarke, Edmund M. 2013 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 all top 5 Cited in 10 Serials 5 Formal Methods in System Design 2 Artificial Intelligence 2 Automatica 2 Theoretical Computer Science 2 Journal of Automated Reasoning 1 ACM Transactions on Mathematical Software 1 Journal of Symbolic Computation 1 Mathematical and Computer Modelling of Dynamical Systems 1 Lecture Notes in Computer Science 1 Nonlinear Analysis. Hybrid Systems all top 5 Cited in 10 Fields 30 Computer science (68-XX) 7 Operations research, mathematical programming (90-XX) 7 Systems theory; control (93-XX) 6 Numerical analysis (65-XX) 4 Mathematical logic and foundations (03-XX) 4 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Ordinary differential equations (34-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year