Symbolic Predictive Analysis for Concurrent Programs.

Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta

Browse the full FM paper archive.