D3s-Project-Gacr20-07487S on D3S https://d3s.mff.cuni.cz/tags/d3s-project-gacr20-07487s/ Recent content in D3s-Project-Gacr20-07487S on D3S Hugo en Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs https://d3s.mff.cuni.cz/publications/parizek_checking_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_checking_2023/ 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/ 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/ Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads https://d3s.mff.cuni.cz/publications/parizek_incremental_report_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_incremental_report_2022/ PeachPie: Mature PHP to CLI compiler https://d3s.mff.cuni.cz/publications/husak_peachpie_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/husak_peachpie_2022/ 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/ 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/ Summarization of branching loops https://d3s.mff.cuni.cz/publications/blicha_summarization_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/blicha_summarization_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/ 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/ Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages https://d3s.mff.cuni.cz/publications/husak_using_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/husak_using_2022/