4 ms·
> a formally verified spec A formally verified X is just a reliable X. If X is wrong, then you just have something that will reliably do the wrong thing.
by volta83 5y ago
> a formally verified spec
A formally verified X is just a reliable X.
If X is wrong, then you just have something that will reliably do the wrong thing.
- vanderZwan 5y agoSee also: many Black Mirror episodes.