First Page | Document Content | |
---|---|---|
Date: 2012-08-31 08:16:46 | Strengthening Induction-Based Race Checking with Lightweight Static Analysis ? Alastair F. Donaldson, Leopold Haller, and Daniel Kroening Oxford University Computing Laboratory, Oxford, UK Abstract. Direct Memory AccessAdd to Reading ListSource URL: www.doc.ic.ac.ukDownload Document from Source WebsiteFile Size: 212,77 KBShare Document on Facebook |