|
@bicoastalddean | |||||
|
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.
|
||||||
|
||||||
|
Dr Heidy Khlaaf (هايدي خلاف)
@HeidyKhlaaf
|
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. twitter.com/Conaw/status/1…
|
||
|
|
||