4 ms·
d) specifications are more explicit and they can be frozen. Once the module is verified it can be reused, justifying the cost. There are only few software prod
by Nokinside 9y ago
d) specifications are more explicit and they can be frozen. Once the module is verified it can be reused, justifying the cost.
There are only few software products that are formally verified. Some data diodes and real time operating systems (at least partially).
- pron 9y ago> There are only few software products that are formally verified. That depends what you mean by "formally verified". If you mean verification all the way from global, high-level properties and down to program code or even machine code -- what's known as end-to-end verification -- and that the verification method is deductive proof, then you're right. But there is plenty of embedded software that's verified end-to-end with model checkers, and a growing list of popular software that's verified by various means, but not end-to-end, for example most of Amazon's web services.