3 ms·
> Do you have a good paper about the full stack formalization/verification of a nuclear launch system? Bwahahaha you're funny. > If you try to formalize every
by User23 8y ago
> Do you have a good paper about the full stack formalization/verification of a nuclear launch system?
Bwahahaha you're funny.
> If you try to formalize everything, you'll drown. If you strategically concede defeat and admit that some parts of the system aren't possible to formalize, you can get a lot of strong guarantees.
You're contradicting yourself again. There's a reason why weakness is a strength in formalisms.
- throwawayjava 8y ago> Bwahahaha you're funny. No, I'm curious and would use that citation! Even just a paper saying "this has been done" without any details? I have a hard time believing this has been done, and people are allowed to talk about it on online forums, but there isn't a single citation even acknowleding its existence. > You're contradicting yourself again. There's a reason why weakness is a strength in formalisms. I'm not sure what this means, but it sounds a lot like what I've been saying all along?