7 ms·

The main problem in CS is "how to develop correct programs". H ow to write programs without bugs. This is a hard problem that everyone just ignores.

• verdverm 5y ago
  Formal verification is one of the topics / search terms iirc