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.
