Martin Blicha

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

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-17461-3 978-3-030-17462-0

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

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

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