Publications

Export 77 results:
Author Title Type [ Year(Asc)]
2021
Lookahead in Partitioning SMT, Hyvärinen, Antti E. J., Marescotti Matteo, and Sharygina Natasha , Formal Methods in Computer-Aided Design - FMCAD 2021, Online Conference, (2021)
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)
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)
2020
Accurate Smart Contract Verification through Direct Modelling, Marescotti, Matteo, Otoni Rodrigo, Alt Leonardo, Eugster Patrick, Hyvärinen Antti E. J., and Sharygina Natasha , ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, (2020)
A Cooperative Parallelization Approach for Property-Directed k-Induction, Blicha, Martin, Hyvärinen Antti E. J., Marescotti Matteo, and Sharygina Natasha , VMCAI 2020 - 21st International Conference on Verification, Model Checking, and Abstract Interpretation, New Orleans, USA, 19-25 January 2020, (2020)
Farkas-Based Tree Interpolation, Asadi, Sepideh, Blicha Martin, Hyvärinen Antti, Fedyukovich Grigory, and Sharygina Natasha , SAS 2020 - 27th Static Analysis Symposium, Online Conference, (2020)
Incremental Verification by SMT-based Summary Repair, Asadi, Sepideh, Blicha Martin, Hyvärinen Antti E. J., Fedyukovich Grigory, and Sharygina Natasha , 20th conference on FORMAL METHODS in COMPUTER-AIDED DESIGN – FMCAD 2020, (2020)
Parallelization and modelling techniques for scalable SMT-based verification, Marescotti, Matteo , Faculty of Informatics, 01.12.2020, Volume PhD, (2020)
2018
Computing Exact Worst-Case Gas Consumption for Smart Contracts, Marescotti, Matteo, Blicha Martin, Hyvärinen Antti E. J., Asadi Sepideh, and Sharygina Natasha , International Symposium on Leveraging Applications of Formal Methods ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice , Cyprus, (2018)
Function Summarization Modulo Theories, Asadi, Sepideh, Blicha Martin, Fedyukovich Grigory, Hyvärinen Antti E. J., Even-Mendoza Karine, Sharygina Natasha, and Chockler Hana , 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR, Ethiopia, (2018)
Lattice-Based Refinement in Bounded Model Checking, Even-Mendoza, Karine, Asadi Sepideh, Hyvärinen Antti, Chockler Hana, and Sharygina Natasha , VSTTE, 07/2018, (2018)
Lookahead-Based SMT Solving, Hyvärinen, Antti E. J., Marescotti Matteo, Sadigova Parvin, Chockler Hana, and Sharygina Natasha , LPAR-22, November 2018, Awassa, Ethiopia, (2018)
Modeling for Verification, Seshia, Sanjit A., Sharygina Natasha, and Tripakis Stavros , Handbook of Model Checking, (2018)
SMTS: Distributed, Visualized Constraint Solving, Marescotti, Matteo, Hyvärinen Antti E. J., and Sharygina Natasha , {LPAR-22.} 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, (2018)

Pages