Twitter | Pretraživanje | |
Dr Heidy Khlaaf (هايدي خلاف) 15. pro
In the past three years of working on large safety critical systems, I've learned that verification isn't the real problem, but it's writing specifications. Don't @ me.
Reply Retweet Označi sa "sviđa mi se"
Drew Dean
Concur: Formal methods are a spectrum. A formal proof is evidence in support of an assurance case, it is not the end of the story.
Reply Retweet Označi sa "sviđa mi se" More