3 ms·
> It's sad but we have to deal with it. We can absolutely both meet reasonable innovation and deadlines with formal verification. It's just that no one wants t
by hvidgaard 5y ago
> It's sad but we have to deal with it.
We can absolutely both meet reasonable innovation and deadlines with formal verification. It's just that no one wants to pay for it.
- jraph 5y agoI'm interested in examples you may have, as someone who once flirted with formal methods. The most practical use of formal method I witnessed is model checking (with TLA+), but that does not check the actual implementation. There's also CompCert, a formally verified C compiler written in Coq, but even then, some parts are not verified so the final product may still have bugs.