3 ms·This isn’t really possible to achieve.by 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).