
Ph.D. student
Department of Distributed and Dependable SystemsFaculty of Mathematics and Physics
Charles University
Malostranské náměstí 25
118 00 Praha 1
Czech Republic
E-mail: blicha@d3s.mff.cuni.cz
Publications
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
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
S. Asadi, M. Blicha, A. Hyvärinen, G. Fedyukovich, N. Sharygina:
Farkas-Based Tree Interpolation, accepted for publication in Proceedings of 27th Static Analysis Symposium
Farkas-Based Tree Interpolation, accepted for publication in Proceedings of 27th Static Analysis Symposium
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
Using Linear Algebra in Decomposition of Farkas Interpolants, accepted for publication in TACAS 2019 Special Issue
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
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
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
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
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
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
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
Function Summarization Modulo Theories, in LPAR-22, pp. 56-75, 2018
DOI: 10.29007/d3bt