2 ms·
And here's a paper on the research underlying those tools: http://cacm.acm.org/magazines/2011/7/109893-a-decade-of-software-model-checking-with-slam/fulltext ht
by _delirium 11y ago
And here's a paper on the research underlying those tools: http://cacm.acm.org/magazines/2011/7/109893-a-decade-of-software-model-checking-with-slam/fulltext http://cacm.acm.org/magazines/2011/7/109893-a-decade-of-soft...
One of the more successful cases of research out of Microsoft Research making it into production use in regular-Microsoft.
- nickpsecurity 11y agoI had the original papers on SLAM and driver verification. Didn't have this one. It's a great write-up with lots of useful data on a few, related topics. Thanks for the link.