Follow
Martin Blicha
Martin Blicha
Verified email at usi.ch
Title
Cited by
Cited by
Year
Computing exact worst-case gas consumption for smart contracts
M Marescotti, M Blicha, AEJ Hyvärinen, S Asadi, N Sharygina
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
692018
SolCMC: solidity compiler’s model checker
L Alt, M Blicha, AEJ Hyvärinen, N Sharygina
International Conference on Computer Aided Verification, 325-338, 2022
292022
Decomposing farkas interpolants
M Blicha, AEJ Hyvärinen, J Kofroň, N Sharygina
International Conference on Tools and Algorithms for the Construction and …, 2019
192019
Transition power abstractions for deep counterexample detection
M Blicha, G Fedyukovich, AEJ Hyvärinen, N Sharygina
International Conference on Tools and Algorithms for the Construction and …, 2022
172022
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions
R Otoni, M Blicha, P Eugster, AEJ Hyvärinen, N Sharygina
2021 58th ACM/IEEE Design Automation Conference (DAC), 541-546, 2021
112021
A cooperative parallelization approach for property-directed k-induction
M Blicha, AEJ Hyvärinen, M Marescotti, N Sharygina
Verification, Model Checking, and Abstract Interpretation: 21st …, 2020
102020
Function Summarization Modulo Theories.
S Asadi, M Blicha, G Fedyukovich, AEJ Hyvärinen, K Even-Mendoza, ...
LPAR, 56-75, 2018
82018
Incremental verification by SMT-based summary repair
S Asadi, M Blicha, A Hyvärinen, G Fedyukovich, N Sharygina
# PLACEHOLDER_PARENT_METADATA_VALUE# 1, 77-82, 2020
72020
Split Transition Power Abstraction for Unbounded Safety
M Blicha, G Fedyukovich, AEJ Hyvärinen, N Sharygina
2022 Formal Methods in Computer-Aided Design (FMCAD), 349-358, 2022
62022
Using linear algebra in decomposition of Farkas interpolants
M Blicha, AEJ Hyvärinen, J Kofroň, N Sharygina
International Journal on Software Tools for Technology Transfer 24 (1), 111-125, 2022
52022
Farkas-based tree interpolation
S Asadi, M Blicha, A Hyvärinen, G Fedyukovich, N Sharygina
International Static Analysis Symposium, 357-379, 2020
42020
The Golem Horn Solver
M Blicha, K Britikov, N Sharygina
International Conference on Computer Aided Verification, 209-223, 2023
32023
SMT-based verification of program changes through summary repair
S Asadi, M Blicha, AEJ Hyvärinen, G Fedyukovich, N Sharygina
Formal Methods in System Design 60 (3), 350-380, 2022
22022
Summarization of branching loops
M Blicha, J Kofroň, W Tatarko
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1808-1816, 2022
12022
The Logica Yearbook 2019
M Blicha, I Sedlar
12020
The OpenSMT Solver in SMT-COMP 2020
M Blicha, AEJ Hyvärinen, M Marescotti, N Sharygina
1
The OpenSMT Solver in SMT-COMP 2021
M Asadzade, M Blicha, AEJ Hyvärinen, N Sharygina
1*
CHC Model Validation with Proof Guarantees
R Otoni, M Blicha, P Eugster, N Sharygina
International Conference on Integrated Formal Methods, 62-81, 2023
2023
Effective automated software verification
M Blicha
2022
The Logica Yearbook 2020
M Blicha, I Sedlár
2021
The system can't perform the operation now. Try again later.
Articles 1–20