There are bugs in the specification, so there are bugs in the verfication as wel... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

Meneth 10 months ago | parent | context | favorite | on: AI will make formal verification go mainstream

There are bugs in the specification, so there are bugs in the verfication as well.

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact