Z3: An efficient SMT solver L De Moura, N Bjørner International conference on Tools and Algorithms for the Construction and …, 2008 | 7090 | 2008 |
Satisfiability modulo theories: introduction and applications L De Moura, N Bjørner Communications of the ACM 54 (9), 69-77, 2011 | 638 | 2011 |
Universal naming scheme for peer to peer resources D Teodosiu, NS Bjorner, MM Breunig US Patent 7,072,982, 2006 | 275 | 2006 |
Efficient E-matching for SMT solvers L De Moura, N Bjørner International Conference on Automated Deduction, 183-198, 2007 | 267 | 2007 |
Step: the stanford temporal prover Z Manna, A Anuchitanukul, N Bjorner, A Browne, E Chang STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1994 | 265 | 1994 |
Generalized property directed reachability K Hoder, N Bjørner International Conference on Theory and Applications of Satisfiability …, 2012 | 248 | 2012 |
Satisfiability modulo theories: An appetizer L De Moura, N Bjørner Brazilian Symposium on Formal Methods, 23-36, 2009 | 243 | 2009 |
νZ - An Optimizing SMT Solver N Bjørner, AD Phan, L Fleckenstein International Conference on Tools and Algorithms for the Construction and …, 2015 | 215 | 2015 |
Vericon: towards verifying controller programs in software-defined networks T Ball, N Bjørner, A Gember, S Itzhaky, A Karbyshev, M Sagiv, M Schapira, ... Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014 | 211 | 2014 |
Universal naming scheme for peer-to-peer resources D Teodosiu, NS Bjorner, MM Breunig US Patent 7,200,667, 2007 | 210 | 2007 |
Path feasibility analysis for string-manipulating programs N Bjørner, N Tillmann, A Voronkov International Conference on Tools and Algorithms for the Construction and …, 2009 | 205 | 2009 |
STeP: Deductive-algorithmic verification of reactive and real-time systems N Bjørner, A Browne, E Chang, M Colón, A Kapur, Z Manna, HB Sipma, ... International Conference on Computer Aided Verification, 415-418, 1996 | 188 | 1996 |
Automatic generation of invariants and intermediate assertions N Bjørner, A Browne, Z Manna Theoretical Computer Science 173 (1), 49-87, 1997 | 186 | 1997 |
Checking beliefs in dynamic networks NP Lopes, N Bjørner, P Godefroid, K Jayaraman, G Varghese 12th {USENIX} Symposium on Networked Systems Design and Implementation …, 2015 | 159 | 2015 |
Horn clause solvers for program verification N Bjørner, A Gurfinkel, K McMillan, A Rybalchenko Fields of Logic and Computation II, 24-51, 2015 | 159 | 2015 |
Symbolic finite state transducers: Algorithms and applications M Veanes, P Hooimeijer, B Livshits, D Molnar, N Bjorner Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 156 | 2012 |
Verifying temporal properties of reactive systems: A STeP tutorial NS Bjørner, A Browne, MA Colón, B Finkbeiner, Z Manna, HB Sipma, ... Formal methods in system design 16 (3), 227-270, 2000 | 137 | 2000 |
Generalized, efficient array decision procedures L De Moura, N Bjørner 2009 Formal Methods in Computer-Aided Design, 45-52, 2009 | 133 | 2009 |
On solving universally quantified horn clauses N Bjørner, K McMillan, A Rybalchenko International Static Analysis Symposium, 105-125, 2013 | 118 | 2013 |
Efficient algorithm and protocol for remote differential compression D Teodosiu, NS Bjørner, Y Gurevich, PE Bozeman US Patent 7,555,531, 2009 | 114 | 2009 |