4 ms·
And stuff like Cleanroom worked to get the defect rate really low. The formal tooling of things like SPARK are pretty amazing now. Few adopted it but it happene
by nickpsecurity 8y ago
And stuff like Cleanroom worked to get the defect rate really low. The formal tooling of things like SPARK are pretty amazing now. Few adopted it but it happened. And like Karrot_Kream says, there's a small subset actually using those kinds of methods to their benefit. It's more than "dozens." Not mainstream by far, though.
http://infohost.nmt.edu/~al/cseet-paper.html http://infohost.nmt.edu/~al/cseet-paper.html
http://www.spark-2014.org/uploads/itp_2014_r610.pdf http://www.spark-2014.org/uploads/itp_2014_r610.pdf