PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification.

Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain

Browse the full DATE paper archive.