Contact information:
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
Martin Blicha, Antti E. J. Hyvärinen, Jan Kofroň, Natasha Sharygina:
Decomposing Farkas Interpolants, in Tools and Algorithms for the Construction and Analysis of Systems, ISBN: 978-3-030-17462-0, pp. 3-20
DOI: 10.1007/978-3-030-17462-0_1, 2019
Decomposing Farkas Interpolants, in Tools and Algorithms for the Construction and Analysis of Systems, ISBN: 978-3-030-17462-0, pp. 3-20
DOI: 10.1007/978-3-030-17462-0_1, 2019
Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina:
Computing Exact Worst-Case Gas Consumption for Smart Contracts, in Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, ISBN: 978-3-030-03427-6, pp. 450-465
DOI: 10.1007/978-3-030-03427-6_33, 2018
Computing Exact Worst-Case Gas Consumption for Smart Contracts, in Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, ISBN: 978-3-030-03427-6, pp. 450-465
DOI: 10.1007/978-3-030-03427-6_33, 2018
Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler:
Function Summarization Modulo Theories, in LPAR-22, pp. 56-75
DOI: 10.29007/d3bt, 2018
Function Summarization Modulo Theories, in LPAR-22, pp. 56-75
DOI: 10.29007/d3bt, 2018