Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
johnbender
42 days ago
|
parent
|
context
|
favorite
| on:
Formal Methods: Just Good Engineering Practice? (2...
There’s decades of research in this vein fwiw, usually referred to as symbolic execution and it’s descendants like concolic execution.
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
