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.” - SPIN model checker - Document - PDFSEARCH.IO

First Page	Meta Content
	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 List Document Date: 2008-06-30 15:34:26 Open Document File Size: 107,13 KB Share Result on Facebook City Albuquerque / Rotterdam / / Company Sandia National Laboratories / Lockheed Martin / Control Bell Labs / Lucent / / IndustryTerm verification tools / subtle static analysis tools / control software / software package / space flight software / mechanical tool / verification tool / high-reliability telephony sysNASA / / Organization National Aeronautics and Space Administration / Cassini-Huygens mission / Defense Advanced Research Projects Agency / Defense Threat Reduction Agency / / Person Gerard Holzmann / / Position director of research at How long does SPIN take / model / programmer / / Product Pathused software package / Pathused / / ProvinceOrState New Mexico / / Technology artificial intelligence / / URL WWW.SDMAGAZINE.COM / / SocialTag Compiler construction SPIN model checker Software bug Gerard J. Holzmann Holzmann Programming tool Embedded system Compiler Software Formal methods

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 List