Hybrid Analysis for Partial Order Reduction of Programs with Arrays.

Pavel Parzek

Browse the full VMCAI paper archive.