Yessss this was pretty much the biggest insight (to me) from my PhD thesis work.
-
-
-
Do verification for a PhD, 5 years later, realize the real problem was specifications

- Još 2 druga odgovora
Novi razgovor -
-
-
Speaking as a procurement professional, writing specifications is the problem in pretty much anything.
-
Yup! And trying to make them formal is pretty much a nightmare.
- Još 1 odgovor
Novi razgovor -
-
-
"Beware of bugs in the above code; I have only proved it correct, not tried it." -- Donald Knuth: Notes on the van Emde Boas construction of priority deques: An instructive use of recursion (1977)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
That's why it's been the focus of my FM research for the past to years...
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
All you need to do is describe the system vaguely in 2000000 lines of symbol dense formal logic that can't handle basic arithmetic and doesn't really mean anything anyways according to 30 years of Formal Methods Research.
- Kraj razgovora
Novi razgovor -
-
-
Yes. And in whatever required contexts, writing specifications in ways that offer whatever pertinent Indicators of Compromise. And in ways one might meaningfully be able to triage safety/risk according to what has been compromised. And then not cry.
https://twitter.com/heidykhlaaf/status/1206289442484473856?s=21 …https://twitter.com/HeidyKhlaaf/status/1206289442484473856 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.
(


).