First Page | Document Content | |
---|---|---|
Date: 2014-03-11 15:06:20Abstract interpretation Computer science Symbolic execution Thread Algorithm Computing Electrical engineering Computer engineering | c Copyright 2014 Tom Bergan Avoiding State-Space Explosion in Multithreaded Programs withAdd to Reading ListSource URL: homes.cs.washington.eduDownload Document from Source WebsiteFile Size: 759,65 KBShare Document on Facebook |