Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
threethirtytwo
9 days ago
|
parent
|
context
|
favorite
| on:
The internet discovers TLA+. Now what?
> But under the covers, all formal verification schemes are (imho) best viewed as "very fancy testing".
This is misleading. Testing and formal verification are vastly different.
help
Consider applying for YC's Winter 2027 batch!
Applications
are open till November 2.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
This is misleading. Testing and formal verification are vastly different.