Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
wordtothedevice
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
wordtothedevice
10y ago
"Formal methods" of verification for medical devices usually means writing detailed product requirements in prose that are traced to manual test cases. Unit test coverage on all the software I worked on was pretty low, and I never