Hacker News new | ask | show | jobs
by saagarjha 705 days ago
This isn’t really possible to achieve.
1 comments
irundebian 703 days ago
It's possible. You can prove absence of runtime errors with Ada/SPARK (which is using theorem provers).
link