| 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 | 414 | 2005 |
| Predicate abstraction of ANSI-C programs using SAT E Clarke, D Kroening, N Sharygina, K Yorav Formal Methods in System Design 25 (2), 105-127, 2004 | 280 | 2004 |
| State/event-based software model checking S Chaki, EM Clarke, J Ouaknine, N Sharygina, N Sinha International Conference on Integrated Formal Methods, 128-147, 2004 | 240 | 2004 |
| The opensmt solver R Bruttomesso, E Pek, N Sharygina, A Tsitovich International Conference on TOOLS and Algorithms for the Construction and …, 2010 | 202 | 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 | 155 | 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 | 104 | 2010 |
| 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 | 89 | 2005 |
| Verification of evolving software via component substitutability analysis S Chaki, E Clarke, N Sharygina, N Sinha Formal Methods in System Design 32 (3), 235-266, 2008 | 87 | 2008 |
| Interpolation-based function summaries in bounded model checking O Sery, G Fedyukovich, N Sharygina Haifa verification conference, 160-175, 2011 | 85 | 2011 |
| Computing exact worst-case gas consumption for smart contracts M Marescotti, M Blicha, AEJ Hyvärinen, S Asadi, N Sharygina International Symposium on Leveraging Applications of Formal Methods, 450-465, 2018 | 76 | 2018 |
| OpenSMT2: An SMT solver for multi-core and cloud computing AEJ Hyvärinen, M Marescotti, L Alt, N Sharygina International Conference on Theory and Applications of Satisfiability …, 2016 | 76 | 2016 |
| Symbolic model checking for asynchronous boolean programs B Cook, D Kroening, N Sharygina International SPIN Workshop on Model Checking of Software, 75-90, 2005 | 75 | 2005 |
| SolCMC: Solidity compiler’s model checker L Alt, M Blicha, AEJ Hyvärinen, N Sharygina International Conference on Computer Aided Verification, 325-338, 2022 | 74 | 2022 |
| 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 | 74 | 2012 |
| SAFARI: SMT-Based Abstraction for Arrays with Interpolants F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina International Conference on Computer Aided Verification, 679-685, 2012 | 74 | 2012 |
| Loop summarization using abstract transformers D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger International Symposium on Automated Technology for Verification and …, 2008 | 74 | 2008 |
| Lazy abstraction with interpolants for arrays F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina International Conference on Logic for Programming Artificial Intelligence …, 2012 | 73 | 2012 |
| Loop summarization and termination analysis A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening International Conference on Tools and Algorithms for the Construction and …, 2011 | 71 | 2011 |
| Cogent: Accurate theorem proving for program verification B Cook, D Kroening, N Sharygina International Conference on Computer Aided Verification, 296-300, 2005 | 71 | 2005 |
Antti E. J. HyvärinenSenior Research Scientist, CertoraVerified email at certora.com
