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

Vineet Kahlon, Aarti Gupta, Nishant Sinha

Browse the full CAV paper archive.