3 ms·
A program can't prove its own correctness in any useful way. Especially for a system that is under continual development.
by Retra 12y ago
A program can't prove its own correctness in any useful way. Especially for a system that is under continual development.