Contact information:

Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University

Malostranské náměstí 25
118 00 Praha 1
Czech Republic



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
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
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