Re:Why Don't People Use Formal Methods?
by DoctorOetker on Tuesday January 22, 2019 @02:22AM
(#18966603)
Almost 10 years ago on bitcoin dev IRC channel I was asking the devs to consider having the reference specification to be formally specified, so that all clients, are at least supposed / expected to comply with it. They were not interested...
[ Parent
| on HN ]
Re:Why Don't People Use Formal Methods?
by xiphias2 on Tuesday January 22, 2019 @08:23AM
(#18968038)
The problem is that there's no such thing as a formal specification when running C++ code, and I believe Coq runs too slow to be practical. We have Rust now as an alternative language, but it's too late to rewrite the consensus code, so we have to work with legacy code.