Theory-Specific Proof Steps Witnessing Correctness of SMT Executions, Otoni, Rodrigo, Blicha Martin, Eugster Patrick, Hyvärinen Antti E. J., and Sharygina Natasha , DAC 2021 - 58th Design Automation Conference, 11/2021, San Francisco, CA, USA, (2021)

• Google Scholar
• BibTeX

Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection, Fedyukovich, Grigory, and Sharygina Natasha , Brazilian Symposium on Formal Methods (SBMF), Maceio, Brazil., (2014)

• Google Scholar
• BibTeX

Transition Power Abstractions for Deep Counterexample Detection, Blicha, Martin, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , TACAS, (2022)

• Google Scholar
• BibTeX

Using Cross-Entropy for Satisfiability, Chockler, H., Ivrii A., Matsliah A., Rollini S.F., and Sharygina Natasha , ACM Symposium on Applied Computing (SAC), (2013)

• Google Scholar
• BibTeX

Using linear algebra in decomposition of Farkas interpolants, Blicha, Martin, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha , International Journal on Software Tools for Technology Transfer, (2021)

• Google Scholar
• BibTeX

Verification-Aided Regression Testing, Pastore, F., Mariani L., Hyvärinen Antti E. J., Fedyukovich Grigory, Sharygina Natasha, Sehestedt S., and Muhammad A. , ISSTA, 06/2014, (2014)

• Google Scholar
• BibTeX

VERIGE: Verification with Invariant Generation Engine, Latorre, N., Alberti Francesco, and Sharygina Natasha , SPIN, (2014)

• Google Scholar
• BibTeX