Author-Anttie.j.hyvarinen on D3S https://d3s.mff.cuni.cz/tags/author-anttie.j.hyvarinen/ Recent content in Author-Anttie.j.hyvarinen on D3S Hugo en A Cooperative Parallelization Approach for Property-Directed k-Induction https://d3s.mff.cuni.cz/publications/blicha_cooperative_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/blicha_cooperative_2020/ Computing Exact Worst-Case Gas Consumption for Smart Contracts https://d3s.mff.cuni.cz/publications/marescotti_computing_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/marescotti_computing_2018/ Decomposing Farkas Interpolants https://d3s.mff.cuni.cz/publications/blicha_decomposing_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/blicha_decomposing_2019/ Exploiting partial variable assignment in interpolation-based model checking https://d3s.mff.cuni.cz/publications/jancik_exploiting_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jancik_exploiting_2019/ Incremental Verification by SMT-based Summary Repair https://d3s.mff.cuni.cz/publications/asadi_incremental_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/asadi_incremental_2020/ PVAIR: Partial Variable Assignment InterpolatoR https://d3s.mff.cuni.cz/publications/jancik_pvair_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jancik_pvair_2016/ SMT-based verification of program changes through summary repair https://d3s.mff.cuni.cz/publications/asadi_smtbased_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/asadi_smtbased_2023/ SolCMC: Solidity Compiler’s Model Checker https://d3s.mff.cuni.cz/publications/alt_solcmc_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/alt_solcmc_2022/ Theory-Specific Proof Steps Witnessing Correctness of SMT Executions https://d3s.mff.cuni.cz/publications/otoni_theoryspecific_2021/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/otoni_theoryspecific_2021/ Transition Power Abstractions for Deep Counterexample Detection https://d3s.mff.cuni.cz/publications/blicha_transition_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/blicha_transition_2022/ Using linear algebra in decomposition of Farkas interpolants https://d3s.mff.cuni.cz/publications/blicha_using_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/blicha_using_2022/