A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification

Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin. A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. In Ganesh Gopalakrishnan, Shaz Qadeer, editors, Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Volume 6806 of Lecture Notes in Computer Science, pages 293-309, Springer, 2011. [doi]

Authors

Wei-Ngan Chin

This author has not been identified. Look up 'Wei-Ngan Chin' in Google

Cristian Gherghina

This author has not been identified. Look up 'Cristian Gherghina' in Google

Razvan Voicu

This author has not been identified. Look up 'Razvan Voicu' in Google

Quang Loc Le

This author has not been identified. Look up 'Quang Loc Le' in Google

Florin Craciun

This author has not been identified. Look up 'Florin Craciun' in Google

Shengchao Qin

This author has not been identified. Look up 'Shengchao Qin' in Google