3 ms·
Most real world systems would be practically impossible to even write a formal specification for, much less actually prove that the system follows it correctly.
by TheCoelacanth 6y ago
Most real world systems would be practically impossible to even write a formal specification for, much less actually prove that the system follows it correctly.