Z3: An efficient SMT solver L De Moura, N Bjørner International conference on Tools and Algorithms for the Construction and …, 2008 | 11076 | 2008 |
Satisfiability modulo theories: introduction and applications L De Moura, N Bjørner Communications of the ACM 54 (9), 69-77, 2011 | 924 | 2011 |
Efficient E-matching for SMT solvers L De Moura, N Bjørner Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007 | 369 | 2007 |
íZ - An Optimizing SMT Solver N Bjørner, AD Phan, L Fleckenstein Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 351 | 2015 |
Generalized property directed reachability K Hoder, N Bjørner International Conference on Theory and Applications of Satisfiability …, 2012 | 330 | 2012 |
Horn clause solvers for program verification N Bjørner, A Gurfinkel, K McMillan, A Rybalchenko Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the …, 2015 | 320 | 2015 |
Universal naming scheme for peer to peer resources D Teodosiu, NS Bjorner, MM Breunig US Patent 7,072,982, 2006 | 311 | 2006 |
Satisfiability modulo theories: An appetizer L De Moura, N Bjørner Brazilian Symposium on Formal Methods, 23-36, 2009 | 309 | 2009 |
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 | 262 | 2014 |
STeP: The stanford temporal prover Z Manna, N Bjørner, A Browne, E Chang, M Colón, L de Alfaro, ... TAPSOFT'95: Theory and Practice of Software Development: 6th International …, 1995 | 251 | 1995 |
Universal naming scheme for peer-to-peer resources D Teodosiu, NS Bjorner, MM Breunig US Patent 7,200,667, 2007 | 242 | 2007 |
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 (NSDI …, 2015 | 240 | 2015 |
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 | 235 | 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, ... Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 198 | 1996 |
Automatic generation of invariants and intermediate assertions N Bjørner, A Browne, Z Manna Theoretical Computer Science 173 (1), 49-87, 1997 | 194 | 1997 |
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 | 192 | 2012 |
Generalized, efficient array decision procedures L De Moura, N Bjørner 2009 Formal Methods in Computer-Aided Design, 45-52, 2009 | 179 | 2009 |
On solving universally quantified horn clauses N Bjørner, K McMillan, A Rybalchenko Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013 | 165 | 2013 |
Efficient algorithm and protocol for remote differential compression D Teodosiu, NS Bjørner, Y Gurevich, PE Bozeman US Patent 7,555,531, 2009 | 152 | 2009 |
Automatically verifying reachability and well-formedness in P4 Networks N Lopes, N Bjørner, N McKeown, A Rybalchenko, D Talayco, G Varghese Technical Report, Tech. Rep, 2016 | 144 | 2016 |