First Page | Document Content | |
---|---|---|
Computing Computer memory Memory barrier Static single assignment form Symbolic execution Computer engineering | Partial Orders for Efficient Bounded Model Checking of Concurrent Software? Jade Alglave1 , Daniel Kroening2 , and Michael Tautschnig3 1 3Add to Reading ListSource URL: www0.cs.ucl.ac.ukDownload Document from Source WebsiteFile Size: 366,65 KBShare Document on Facebook |