Bounded Model Checking of Concurrent Programs.

Ishai Rabinovitz Orna Grumberg Bounded Model Checking of Concurrent Programs. 82-97 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_9 db/conf/cav/cav2005.html#RabinovitzG05