D3s-Project-Gacr13-12121P on D3S https://d3s.mff.cuni.cz/tags/d3s-project-gacr13-12121p/ Recent content in D3s-Project-Gacr13-12121P on D3S Hugo en Hybrid Analysis for Partial Order Reduction of Programs with Arrays https://d3s.mff.cuni.cz/publications/parizek_hybrid_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_hybrid_2016/ Model Checking of Concurrent Programs with Static Analysis of Field Accesses https://d3s.mff.cuni.cz/publications/parizek_model_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/parizek_model_2015/ PANDA: Simultaneous Predicate Abstraction and Concrete Execution https://d3s.mff.cuni.cz/publications/daniel_panda_2015/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/daniel_panda_2015/