D3s-Project-Gacr14-11384S on D3S https://d3s.mff.cuni.cz/tags/d3s-project-gacr14-11384s/ Recent content in D3s-Project-Gacr14-11384S on D3S Hugo en Dead Variable Analysis for Multi-threaded Heap Manipulating Programs https://d3s.mff.cuni.cz/publications/jancik_dead_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jancik_dead_2016/ 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/ Fast Error Detection with Hybrid Analyses of Future Accesses https://d3s.mff.cuni.cz/publications/parizek_fast_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_fast_2016/ Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-to and Determinacy Information https://d3s.mff.cuni.cz/publications/parizek_hybrid_2016_2/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_hybrid_2016_2/ Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations https://d3s.mff.cuni.cz/publications/daniel_infinitestate_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/daniel_infinitestate_2016/ On partial state matching https://d3s.mff.cuni.cz/publications/jancik_partial_2017/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jancik_partial_2017/ 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/