11 ms·
Good to see. Formal verification tools need to happen, and I hope they will be generalized to user-space, kernel, and embedded purposes. If FOSS, this would be
by hi-v-rocknroll 2y ago
Good to see. Formal verification tools need to happen, and I hope they will be generalized to user-space, kernel, and embedded purposes. If FOSS, this would be amazing, but I suspect most of it will remain extremely expensive and shut out individual developers from the space.