Date: 2008-06-30 15:34:26Compiler construction SPIN model checker Software bug Gerard J. Holzmann Holzmann Programming tool Embedded system Compiler Software Formal methods Computing | | Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.”Add to Reading ListSource URL: spinroot.comDownload Document from Source Website File Size: 107,13 KBShare Document on Facebook
|