| SATABS: SAT-based predicate abstraction for ANSI-C E Clarke, D Kroening, N Sharygina, K Yorav International Conference on Tools and Algorithms for the Construction and …, 2005 | 402 | 2005 |
| Predicate abstraction of ANSI-C programs using SAT E Clarke, D Kroening, N Sharygina, K Yorav Formal Methods in System Design 25, 105-127, 2004 | 281 | 2004 |
| State/event-based software model checking S Chaki, EM Clarke, J Ouaknine, N Sharygina, N Sinha Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004 | 232 | 2004 |
| The opensmt solver R Bruttomesso, E Pek, N Sharygina, A Tsitovich Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010 | 180 | 2010 |
| Formal verification of SystemC by automatic hardware/software partitioning D Kroening, N Sharygina Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005 | 152 | 2005 |
| Word level predicate abstraction and refinement for verifying RTL Verilog H Jain, D Kroening, N Sharygina, E Clarke Proceedings of the 42nd annual Design Automation Conference, 445-450, 2005 | 108 | 2005 |
| Termination analysis with compositional transition invariants D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger International Conference on Computer Aided Verification, 89-103, 2010 | 103 | 2010 |
| Verification of evolving software via component substitutability analysis S Chaki, E Clarke, N Sharygina, N Sinha Formal Methods in System Design 32, 235-266, 2008 | 87 | 2008 |
| Concurrent software verification with states, events, and deadlocks S Chaki, E Clarke, J Ouaknine, N Sharygina, N Sinha Formal Aspects of Computing 17 (4), 461-483, 2005 | 86 | 2005 |
| Interpolation-based function summaries in bounded model checking O Sery, G Fedyukovich, N Sharygina Haifa verification conference, 160-175, 2011 | 78 | 2011 |
| Loop summarization using abstract transformers D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger International Symposium on Automated Technology for Verification and …, 2008 | 73 | 2008 |
| Incremental upgrade checking by means of interpolation-based function summaries O Sery, G Fedyukovich, N Sharygina 2012 Formal Methods in Computer-Aided Design (FMCAD), 114-121, 2012 | 71 | 2012 |
| Computing exact worst-case gas consumption for smart contracts M Marescotti, M Blicha, AEJ Hyvärinen, S Asadi, N Sharygina Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 70 | 2018 |
| Loop summarization and termination analysis A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening International Conference on Tools and Algorithms for the Construction and …, 2011 | 70 | 2011 |
| Symbolic model checking for asynchronous boolean programs B Cook, D Kroening, N Sharygina Model Checking Software: 12th International SPIN Workshop, San Francisco, CA …, 2005 | 70 | 2005 |
| Cogent: Accurate theorem proving for program verification B Cook, D Kroening, N Sharygina Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 70 | 2005 |
| SAFARI: SMT-Based Abstraction for Arrays with Interpolants F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 68 | 2012 |
| OpenSMT2: An SMT solver for multi-core and cloud computing AEJ Hyvärinen, M Marescotti, L Alt, N Sharygina Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016 | 67 | 2016 |
| Lazy abstraction with interpolants for arrays F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012 | 66 | 2012 |
| Dynamic component substitutability analysis N Sharygina, S Chaki, E Clarke, N Sinha FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005 | 64 | 2005 |
Antti E. J. HyvärinenSenior Research Scientist, CertoraVerified email at certora.com
