4 ms·
It's possible. You can prove absence of runtime errors with Ada/SPARK (which is using theorem provers).
by irundebian 2y ago
It's possible. You can prove absence of runtime errors with Ada/SPARK (which is using theorem provers).
loading thread…