MathSAT5 swMATH ID: 9569 Software Authors: Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto Description: The mathsat5 SMT solver. MathSAT is a long-term project, which has been jointly carried on by FBK-IRST and University of Trento, with the aim of developing and maintaining a state-of-the-art SMT tool for formal verification (and other applications). MathSAT5 is the latest version of the tool. It supports most of the SMT-LIB theories and their combinations, and provides many functionalities (like e.g., unsat cores, interpolation, AllSMT). MathSAT5 improves its predecessor MathSAT4 in many ways, also providing novel features: first, a much improved incrementality support, which is vital in SMT applications; second, a full support for the theories of arrays and floating point; third, sound SAT-style Boolean formula preprocessing for SMT formulae; finally, a framework allowing users for plugging their custom tuned SAT solvers. MathSAT5 is freely available, and it is used in numerous internal projects, as well as by a number of industrial partners. Homepage: http://mathsat.fbk.eu/ Related Software: z3; CVC4; Yices; SMT-LIB; SMTInterpol; MiniSat; OpenSMT; SMT-RAT; veriT; Boolector; REDLOG; dReal; nuXmv; PySMT; GitHub; QEPCAD; Chaff; STP; NuSMV; CPAchecker Cited in: 63 Documents Further Publications: http://mathsat.fbk.eu/publications.html Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year The MathSAT5 SMT solver. Zbl 1381.68153Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto 2013 all top 5 Cited by 166 Authors 12 Cimatti, Alessandro 9 Griggio, Alberto 5 Ábrahám, Erika 5 Bromberger, Martin 5 Kremer, Gereon 5 Roveri, Marco 5 Rümmer, Philipp 5 Sturm, Thomas 4 Barrett, Clark W. 4 Sebastiani, Roberto 4 Tinelli, Cesare 4 Tonetta, Stefano 4 Weidenbach, Christoph 4 Zeljić, Aleksandar 3 Irfan, Ahmed 3 Kröning, Daniel 3 Micheli, Andrea 3 Wintersteiger, Christoph M. 2 Backeman, Peter 2 Bozzano, Marco 2 Brain, Martin 2 Corzilius, Florian 2 Dietsch, Daniel 2 Heizmann, Matthias 2 Hoenicke, Jochen 2 Mover, Sergio 2 Niemetz, Aina 2 Podelski, Andreas 2 Preiner, Mathias 2 Reynolds, Andrew 2 Schaafsma, Bastiaan Joost 2 Sharygina, Natasha 2 Trentin, Patrick 2 Zohar, Yoni 1 Abbasi, Rosa 1 Abbott, John A. 1 Ahrendt, Wolfgang 1 Alberti, Francesco 1 Alhiyafi, Jamal 1 Bagnara, Abramo 1 Bagnara, Roberto 1 Baier, Christel 1 Barbosa, Haniel 1 Bardin, Sébastien 1 Becker, Bernd 1 Biere, Armin 1 Bigarella, Filippo 1 Bigatti, Anna Maria 1 Biselli, Fabio 1 Bittner, Benjamin 1 Bjørner, Nikolaj S. 1 Bobot, François 1 Brandl, Florian 1 Brandt, Felix 1 Brown, Kristopher 1 Bruttomesso, Roberto 1 Buchberger, Bruno 1 Chakraborty, Supratik 1 Chen, Li 1 Cheng, Xi 1 Chhatani, Dinesh 1 Chiari, Michele 1 Chihani, Zakaria 1 Christ, Jürgen 1 Coenen, Norine 1 Darulova, Eva 1 Davenport, James Harold 1 De Angelis, Emanuele 1 de Moura, Leonardo 1 Djidjev, Hristo Nicolov 1 Donovick, Caleb 1 D’silva, Vijay 1 Dureja, Rohit 1 Eberl, Manuel 1 England, Matthew 1 Finkbeiner, Bernd 1 Fioravanti, Fabio 1 Fleury, Mathias 1 Fontaine, Pascal 1 Forrest, Stephen 1 Funke, Florian 1 Gajavelly, Rajkumar 1 Gario, Marco 1 Geist, Christian 1 Ghilardi, Silvio 1 Giunchiglia, Enrico 1 Gori, Roberta 1 Guman, Allison 1 Haldankar, Tanmay 1 Haller, Leopold 1 Holík, Lukáš 1 Hong, Hoon 1 Huang, Chengchao 1 Hyvärinen, Antti E. J. 1 Iosif, Radu 1 Jantsch, Simon 1 Jonáš, Martin 1 Junges, Sebastian 1 Karrenberg, Ralf 1 Khasidashvili, Zurab O. ...and 66 more Authors all top 5 Cited in 16 Serials 10 Formal Methods in System Design 4 Artificial Intelligence 4 Journal of Automated Reasoning 3 Constraints 1 Automatica 1 Journal of Symbolic Computation 1 Formal Aspects of Computing 1 Journal of Global Optimization 1 Cybernetics and Systems Analysis 1 Journal of the ACM 1 Theory and Practice of Logic Programming 1 Mathematics in Computer Science 1 Scientific Annals of Computer Science 1 Acta Universitatis Sapientiae. Informatica 1 Algorithms 1 Texts in Theoretical Computer Science. An EATCS Series all top 5 Cited in 12 Fields 59 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 9 Operations research, mathematical programming (90-XX) 3 Systems theory; control (93-XX) 2 Ordinary differential equations (34-XX) 2 Numerical analysis (65-XX) 1 Commutative algebra (13-XX) 1 Real functions (26-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year