D3s-Project-Gacr18-17403S on D3S https://d3s.mff.cuni.cz/tags/d3s-project-gacr18-17403s/ Recent content in D3s-Project-Gacr18-17403S 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/ AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention https://d3s.mff.cuni.cz/publications/husak_askthecode_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/husak_askthecode_2019/ BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment https://d3s.mff.cuni.cz/publications/parizek_buben_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_buben_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/ Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking https://d3s.mff.cuni.cz/publications/parizek_fast_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_fast_2019/ Reference Mutability for DOT https://d3s.mff.cuni.cz/publications/dort_reference_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/dort_reference_2020/ Reference mutability for DOT – roDOT definitions and proofs https://d3s.mff.cuni.cz/publications/dort_reference_report_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/dort_reference_report_2020/