| ▲ | gf000 2 days ago | |
There are obviously multiple levels of correctness. Formal verification is just the very top of that spectrum, but it does comes at extraordinary effort. | ||
| ▲ | throwawaymaths 2 days ago | parent [-] | |
did i read "above and beyond" | ||
| ▲ | gf000 2 days ago | |
There are obviously multiple levels of correctness. Formal verification is just the very top of that spectrum, but it does comes at extraordinary effort. | ||
| ▲ | throwawaymaths 2 days ago | parent [-] | |
did i read "above and beyond" | ||