Hacker News new | ask | show | jobs
by pjmlp 30 days ago
It is a way to formally verify Ada, it meets all those criterias.
1 comments
bneb-dev 29 days ago
It looks like verification is distinct from the compiler.
link