A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.

Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin

Browse the full CAV paper archive.