So you have any links? I’m very curious, and a quick search did not turn up anyt... | Hacker News

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

		achamayou on Jan 22, 2019 \| parent \| context \| favorite \| on: Why Don't People Use Formal Methods? So you have any links? I’m very curious, and a quick search did not turn up anything.

UncleMeat on Jan 24, 2019 [–]

Clark Barrett's group at Stanford (previously NYU) is a leader here.

achamayou on Jan 24, 2019 | [–]

Thank you!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact