Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic.

Guolong Zheng, Hamid Bagheri, Gregg Rothermel, Jianghao Wang

Browse the full FASE paper archive.