Martin Blicha

Link bibtex

M. Blicha, A. Hyvärinen, M. Marescotti, N. Sharygina:
A Cooperative Parallelization Approach for Property-Directed k-Induction, in Verification, Model Checking, and Abstract Interpretation, pp. 270-292, 2020
ISBN: 978-3-030-39322-9, DOI: 10.1007/978-3-030-39322-9_13

bibtex

M. Blicha, A. Hyvärinen, J. Kofroň, N. Sharygina:
Using Linear Algebra in Decomposition of Farkas Interpolants, accepted for publication in TACAS 2019 Special Issue

bibtex

M. Blicha, A. Hyvärinen, M. Marescotti, N. Sharygina:
A Collaborative Approach to Property-Directed k-induction, accepted for publication in Proceedings of VMCAI 2020

Link bibtex

S. Asadi, M. Blicha, A. Hyvärinen, G. Fedyukovich, N. Sharygina:
Farkas-Based Tree Interpolation, accepted for publication in Static Analysis, pp. 357-379
ISBN: 978-3-030-65474-0, DOI: 10.1007/978-3-030-65474-0_16

Link bibtex

S. Asadi, M. Blicha, A. Hyvärinen, G. Fedyukovich, N. Sharygina:
Incremental Verification by SMT-based Summary Repair, in Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020, 2020
ISBN: 978-3-85448-042-6, DOI: 10.34727/2020/isbn.978-3-85448-042-6

Link bibtex

M. Blicha, A. Hyvärinen, J. Kofroň, N. Sharygina:
Decomposing Farkas Interpolants, in Tools and Algorithms for the Construction and Analysis of Systems, pp. 3-20, 2019
ISBN: 978-3-030-17462-0, DOI: 10.1007/978-3-030-17462-0_1

Link bibtex

S. Asadi, M. Blicha, G. Fedyukovich, A. Hyvärinen, K. Even-Mendoza, N. Sharygina, H. Chockler:
Function Summarization Modulo Theories, in LPAR-22, pp. 56-75, 2018
DOI: 10.29007/d3bt

Link bibtex

M. Marescotti, M. Blicha, A. Hyvärinen, S. Asadi, N. Sharygina:
Computing Exact Worst-Case Gas Consumption for Smart Contracts, in Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, pp. 450-465, 2018
ISBN: 978-3-030-03427-6, DOI: 10.1007/978-3-030-03427-6_33