Author-Grigoryfedyukovich on D3S https://d3s.mff.cuni.cz/tags/author-grigoryfedyukovich/ Recent content in Author-Grigoryfedyukovich on D3S Hugo en 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/ Farkas-Based Tree Interpolation https://d3s.mff.cuni.cz/publications/asadi_farkasbased_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/asadi_farkasbased_2020/ Function Summarization Modulo Theories https://d3s.mff.cuni.cz/publications/asadi_function_2018/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/asadi_function_2018/ 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/ Reachability Analysis for Multiloop Programs Using Transition Power Abstraction https://d3s.mff.cuni.cz/publications/britikov_reachability_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/britikov_reachability_2024/ 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/ Split Transition Power Abstraction for Unbounded Safety https://d3s.mff.cuni.cz/publications/blicha_split_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/blicha_split_2022/ 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/