3 ms·
It can be a binary property if you define security as a proof of absence of runtime errors which is possible to achieve today.
by irundebian 2y ago
It can be a binary property if you define security as a proof of absence of runtime errors which is possible to achieve today.
- saagarjha 2y agoThis isn’t really possible to achieve.
- irundebian 2y agoIt's possible. You can prove absence of runtime errors with Ada/SPARK (which is using theorem provers).