Value Slice: A New Slicing Concept for Scalable Property Checking.

Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker

Browse the full TACAS paper archive.