Develop fast systems software with zero bugs
We're building a verified version of the high-performance BetrFS file system. We want users to trust their data to BetrFS, a fast new file system, because it's proven to have no data loss or corruption bugs. We're using our experience to improve verification tools to make verified development a viable alternative to test-driven development. The approach is especially valuable for software where latent bugs are very painful, like data loss bugs in a file system.