Re:Prediction: AI will make formal verification go mainstream
by skydhash on Wednesday December 17, 2025 @01:45PM
(#46303690)
Not really, some components like components have a lot of properties that’s very difficult to modelize. Take latency in network, or storage performance in OS.
[ Parent
| on HN ]
There are no comments on this comment yet.