z3 swMATH ID: 4887 Software Authors: Microsoft Research; de Moura, Leonardo; Bjørner, Nikolaj 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; Isabelle/HOL; Coq; GitHub; VAMPIRE; SIMPLIFY; MathSAT5; MiniSat; Boogie; cvc3; Why3; Dafny; TPTP; Sledgehammer; HOL Light; E Theorem Prover; Spec#; Isabelle Cited in: 850 Documents Standard Articles 1 Publication describing the Software Year Engineering theories with Z3 Bjørner, Nikolaj 2011 all top 5 Cited by 1,615 Authors 25 Barrett, Clark W. 22 Reynolds, Andrew 21 Kovács, Laura Ildikó 21 Tinelli, Cesare 20 Blanchette, Jasmin Christian 14 Ábrahám, Erika 14 Bjørner, Nikolaj S. 14 Kuncak, Viktor 13 Cimatti, Alessandro 13 Griggio, Alberto 12 de Moura, Leonardo 12 Voronkov, Andrei 12 Weidenbach, Christoph 11 Giesl, Jürgen 11 Katoen, Joost-Pieter 10 Böhme, Sascha 10 De Angelis, Emanuele 10 Fioravanti, Fabio 10 Gupta, Ashutosh 10 Kobayashi, Naoki 10 Proietti, Maurizio 10 Veanes, Margus 9 Frohn, Florian 9 Pettorossi, Alberto 9 Rümmer, Philipp 9 Urban, Josef 8 Barbosa, Haniel 8 Ghilardi, Silvio 8 Junges, Sebastian 8 Konnov, Igor Vladimirovich 8 Leino, K. Rustan M. 8 Niemetz, Aina 8 Paulson, Lawrence Charles 8 Preiner, Mathias 8 Sato, Ryosuke 8 Sharygina, Natasha 7 Bromberger, Martin 7 Fleury, Mathias 7 Fontaine, Pascal 7 Ganesh, Vijay 7 Gurfinkel, Arie 7 Henzinger, Thomas A. 7 Jovanović, Dejan 7 Kaliszyk, Cezary 7 Kremer, Gereon 7 Lucanu, Dorel 7 Sebastiani, Roberto 7 Widder, Josef 7 Wies, Thomas 6 Abate, Alessandro 6 Bersani, Marcello Maria 6 Bonacina, Maria Paola 6 Bonakdarpour, Borzoo 6 Demri, Stéphane P. 6 Fedyukovich, Grigory 6 Hensel, Jera 6 Jansen, Nils 6 Nötzli, Andres 6 Reger, Giles 6 Roşu, Grigore 6 Sánchez, César 6 Shoham, Sharon 6 Strejček, Jan 6 Strichman, Ofer 6 Ströder, Thomas 6 Sturm, Thomas 6 Tribastone, Mirco 6 Vandin, Andrea 6 Zohar, Yoni 5 Aiken, Alex 5 Arusoaie, Andrei 5 Biere, Armin 5 Chin, Wei-Ngan 5 Deters, Morgan 5 Esparza, Javier 5 Filliâtre, Jean-Christophe 5 Finkbeiner, Bernd 5 Holík, Lukáš 5 Irfan, Ahmed 5 Itzhaky, Shachar 5 Johansson, Moa 5 Lahiri, Shuvendu Kumar 5 Marché, Claude 5 Nowotka, Dirk 5 Peltier, Nicolas 5 Platzer, André 5 Qadeer, Shaz 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 Wintersteiger, Christoph M. 5 Xu, Ming 4 Amat, Nicolas 4 Bardin, Sébastien 4 Baumgartner, Peter 4 Bloem, Roderick ...and 1,515 more Authors all top 5 Cited in 68 Serials 67 Journal of Automated Reasoning 43 Formal Methods in System Design 24 Theoretical Computer Science 22 Formal Aspects of Computing 16 Journal of Logical and Algebraic Methods in Programming 15 Logical Methods in Computer Science 12 Theory and Practice of Logic Programming 10 Artificial Intelligence 10 Information and Computation 9 Annals of Mathematics and Artificial Intelligence 9 ACM Transactions on Computational Logic 8 Acta Informatica 6 Fundamenta Informaticae 5 Constraints 5 Lecture Notes in Computer Science 5 Mathematics in Computer Science 4 Computers & Operations Research 4 Theory of Computing Systems 3 Automatica 3 Journal of Symbolic Computation 3 Discrete Event Dynamic Systems 3 Nonlinear Analysis. Hybrid Systems 2 Programming and Computer Software 2 Science of Computer Programming 2 International Journal of Approximate Reasoning 2 AI Communications 2 Real-Time 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 Order 1 Journal of Computer Science and Technology 1 SIAM Journal on Matrix Analysis and Applications 1 Journal of Cryptology 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 International Transactions in Operational Research 1 Journal of the ACM 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 Natural Computing 1 Quantum Information Processing 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 33 Fields 806 Computer science (68-XX) 174 Mathematical logic and foundations (03-XX) 56 Operations research, mathematical programming (90-XX) 22 Systems theory; control (93-XX) 18 Biology and other natural sciences (92-XX) 18 Information and communication theory, circuits (94-XX) 15 Numerical analysis (65-XX) 11 Combinatorics (05-XX) 7 Ordinary differential equations (34-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 General and overarching topics; collections (00-XX) 5 Probability theory and stochastic processes (60-XX) 5 Quantum theory (81-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Geometry (51-XX) 3 Convex and discrete geometry (52-XX) 2 Field theory and polynomials (12-XX) 2 Algebraic geometry (14-XX) 2 Group theory and generalizations (20-XX) 2 Real functions (26-XX) 2 Partial differential equations (35-XX) 2 Algebraic topology (55-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Category theory; homological algebra (18-XX) 1 Topological groups, Lie groups (22-XX) 1 Dynamical systems and ergodic theory (37-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