![Computing / Computer memory / Memory barrier / Static single assignment form / Symbolic execution / Computer engineering Computing / Computer memory / Memory barrier / Static single assignment form / Symbolic execution / Computer engineering](https://www.pdfsearch.io/img/f061dfde8440d36e9af9bfd8c6f03b7c.jpg) 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 Website File Size: 366,65 KBShare Document on Facebook
|