Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
ozim
22 hours ago
|
parent
|
context
|
favorite
| on:
Test, don't just verify
I smell vaporware. Formal verification is easy on easy stuff like simple functions - complex functions it might be impossible. Then you most likely will get bunch of snake oil salesmen promising that you can verify full system…
NlightNFotis
21 hours ago
[–]
What is a complex function to you, and why do you think it’s impossible to verify properties of them?
reply
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
