Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
namibj
on July 10, 2021
|
parent
|
context
|
favorite
| on:
Rethinking software testing: perspectives from the...
They did do formal verification for a microkernel:
https://sel4.systems
It's afaik the most complex piece of software with full formal verification to date.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
It's afaik the most complex piece of software with full formal verification to date.