HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by pjmlp | Hacker News Reader
Parent
Full thread
pjmlp
·
It is a way to formally verify Ada, it meets all those criterias.
View on HN
bneb-dev
·
It looks like verification is distinct from the compiler.
Reply on news.ycombinator.com