Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
mhd
on Jan 22, 2019
|
parent
|
context
|
favorite
| on:
Why Don't People Use Formal Methods?
Which is why I'm amazed it's actually used
now
outside academia. It lingered so long there, it's surprising that it made the jump.
Probably due to some alums of INRIA using their particular implementation for their own projects.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Probably due to some alums of INRIA using their particular implementation for their own projects.