z3 swMATH ID: 4887 Software Authors: Microsoft Research; Leonardo de Moura; Nikolaj Bjørner Description: Z3 is a high-performance theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 is integrated with a number of program analysis, testing, and verification tools from Microsoft Research. These include: VCC, Spec#, Boogie, Pex, Yogi, Vigilante, SLAM, F7, F*, SAGE, VS3, FORMULA, and HAVOC. Homepage: https://github.com/Z3Prover/z3 Source Code: https://github.com/Z3Prover/z3 Operating Systems: We only provide full support for Windows. We also have a Linux binary for the SMT competition. Related Software: CVC4; SMT-LIB; Yices; Coq; Isabelle/HOL; VAMPIRE; SIMPLIFY; cvc3; Boogie; MathSAT5; Why3; MiniSat; GitHub; Sledgehammer; TPTP; HOL Light; Dafny; E Theorem Prover; Spec#; Isabelle Cited in: 687 Documents Standard Articles 1 Publication describing the Software Year Engineering theories with Z3 Bjørner, Nikolaj 2011 all top 5 Cited by 1,350 Authors 22 Barrett, Clark W. 20 Reynolds, Andrew 19 Blanchette, Jasmin Christian 18 Tinelli, Cesare 17 Kovács, Laura Ildikó 14 Bjørner, Nikolaj S. 12 Ábrahám, Erika 12 de Moura, Leonardo 11 Cimatti, Alessandro 11 Griggio, Alberto 11 Kuncak, Viktor 11 Weidenbach, Christoph 10 Böhme, Sascha 10 Voronkov, Andrei 9 Giesl, Jürgen 9 Gupta, Ashutosh 9 Urban, Josef 9 Veanes, Margus 8 De Angelis, Emanuele 8 Fioravanti, Fabio 8 Frohn, Florian 8 Ghilardi, Silvio 8 Leino, K. Rustan M. 8 Paulson, Lawrence Charles 8 Proietti, Maurizio 7 Barbosa, Haniel 7 Bromberger, Martin 7 Fleury, Mathias 7 Fontaine, Pascal 7 Ganesh, Vijay 7 Henzinger, Thomas A. 7 Jovanović, Dejan 7 Kaliszyk, Cezary 7 Niemetz, Aina 7 Pettorossi, Alberto 7 Preiner, Mathias 7 Sebastiani, Roberto 6 Bersani, Marcello Maria 6 Demri, Stéphane P. 6 Hensel, Jera 6 Katoen, Joost-Pieter 6 Kobayashi, Naoki 6 Konnov, Igor V. 6 Kremer, Gereon 6 Lucanu, Dorel 6 Roşu, Grigore 6 Rümmer, Philipp 6 Strichman, Ofer 6 Ströder, Thomas 6 Sturm, Thomas 6 Tribastone, Mirco 6 Vandin, Andrea 6 Widder, Josef 5 Abate, Alessandro 5 Biere, Armin 5 Bonacina, Maria Paola 5 Deters, Morgan 5 Filliâtre, Jean-Christophe 5 Gurfinkel, Arie 5 Irfan, Ahmed 5 Lahiri, Shuvendu Kumar 5 Marché, Claude 5 Peltier, Nicolas 5 Ranise, Silvio 5 Rodríguez-Carbonell, Enric 5 Rossi, Matteo A. C. 5 Rubio, Albert 5 Rusu, Vlad 5 Seshia, Sanjit Arunkumar 5 Swamy, Nikhil 5 Wies, Thomas 5 Wintersteiger, Christoph M. 5 Zohar, Yoni 4 Aiken, Alex 4 Arusoaie, Andrei 4 Baumgartner, Peter 4 Brockschmidt, Marc 4 Bruttomesso, Roberto 4 Chakraborty, Supratik 4 Echenim, Mnacho 4 Esparza, Javier 4 Fournet, Cédric 4 Fuhs, Carsten 4 Itzhaky, Shachar 4 Jansen, Nils 4 Johansson, Moa 4 Junges, Sebastian 4 King, Tim 4 Kröning, Daniel 4 Lazić, Marijana 4 Monniaux, David P. 4 Nötzli, Andres 4 Oliveras, Albert 4 Pietro, Pierluigi San 4 Qadeer, Shaz 4 Reger, Giles 4 Sato, Ryosuke 4 Sharygina, Natasha 4 Ştefănescu, Andrei 4 Strejček, Jan ...and 1,250 more Authors all top 5 Cited in 64 Serials 63 Journal of Automated Reasoning 36 Formal Methods in System Design 22 Theoretical Computer Science 20 Formal Aspects of Computing 13 Logical Methods in Computer Science 13 Journal of Logical and Algebraic Methods in Programming 10 Artificial Intelligence 10 Theory and Practice of Logic Programming 8 Annals of Mathematics and Artificial Intelligence 7 Acta Informatica 7 ACM Transactions on Computational Logic 6 Constraints 5 Information and Computation 5 Fundamenta Informaticae 5 Lecture Notes in Computer Science 5 Mathematics in Computer Science 4 Computers & Operations Research 3 Automatica 3 Journal of Symbolic Computation 3 Theory of Computing Systems 3 Nonlinear Analysis. Hybrid Systems 2 Science of Computer Programming 2 International Journal of Approximate Reasoning 2 Real-Time Systems 2 Discrete Event Dynamic Systems 2 Journal of Functional Programming 2 Computer Languages, Systems & Structures 1 ACM Computing Surveys 1 Computers & Mathematics with Applications 1 International Journal of General Systems 1 Journal of Computational Physics 1 ACM Transactions on Mathematical Software 1 Computing 1 Fuzzy Sets and Systems 1 Information Sciences 1 Journal of Computer and System Sciences 1 Programming and Computer Software 1 Order 1 Journal of Computer Science and Technology 1 SIAM Journal on Matrix Analysis and Applications 1 Journal of Cryptology 1 AI Communications 1 Annals of Operations Research 1 Journal of Global Optimization 1 Designs, Codes and Cryptography 1 Mathematical Programming. Series A. Series B 1 Cybernetics and Systems Analysis 1 Journal of Applied Non-Classical Logics 1 The Journal of Artificial Intelligence Research (JAIR) 1 Optimization and Engineering 1 Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 Journal of Applied Logic 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Scientific Annals of Computer Science 1 ACM Communications in Computer Algebra 1 Acta Universitatis Sapientiae. Informatica 1 The Review of Symbolic Logic 1 Journal of Theoretical Biology 1 Forum of Mathematics, Sigma 1 Computer Science Review 1 Modelirovanie i Analiz Informatsionnykh Sistem 1 Texts in Theoretical Computer Science. An EATCS Series all top 5 Cited in 32 Fields 650 Computer science (68-XX) 147 Mathematical logic and foundations (03-XX) 45 Operations research, mathematical programming (90-XX) 14 Systems theory; control (93-XX) 13 Numerical analysis (65-XX) 13 Biology and other natural sciences (92-XX) 12 Information and communication theory, circuits (94-XX) 10 Combinatorics (05-XX) 7 Ordinary differential equations (34-XX) 6 General and overarching topics; collections (00-XX) 5 Probability theory and stochastic processes (60-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Group theory and generalizations (20-XX) 3 Convex and discrete geometry (52-XX) 2 Algebraic geometry (14-XX) 2 Real functions (26-XX) 2 Partial differential equations (35-XX) 2 Algebraic topology (55-XX) 2 Quantum theory (81-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Category theory; homological algebra (18-XX) 1 Topological groups, Lie groups (22-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 Statistics (62-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Mathematics education (97-XX) Citations by Year