|
|
|
|
|
|
by kaba0
1203 days ago
|
|
|
Correctness proof? That’s like almost impossible, formal verification is just not scalable, insanely complex and it will never be done by your average developer. The only way we can do proofs (on certain things) is restricting code, like non unsafe rust. If it would be feasible, why wouldn’t we just continue to use C and be happy with our verified C codes? |
|
|