Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions.

Vineet Kahlon Aarti Gupta Nishant Sinha Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions. 286-299 2006 conf/cav/2006 CAV http://dx.doi.org/10.1007/11817963_28 db/conf/cav/cav2006.html#KahlonGS06