Author-Paveljancik on D3S https://d3s.mff.cuni.cz/tags/author-paveljancik/ Recent content in Author-Paveljancik on D3S Hugo en BeJC: Checking Compliance Between Java Implementation and Behavior Specification https://d3s.mff.cuni.cz/publications/jancik_bejc_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jancik_bejc_2012/ 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/ 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/ On Interpolants and Variable Assignments https://d3s.mff.cuni.cz/publications/jancik_interpolants_2014/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jancik_interpolants_2014/ 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/ On Partial Variable Assignment Interpolants https://d3s.mff.cuni.cz/publications/jancik_partial_report_2013/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/jancik_partial_report_2013/ 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/ Refinement between TBP and Java Implementation of Components https://d3s.mff.cuni.cz/publications/kofron_refinement_report_2011/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/kofron_refinement_report_2011/