Reasonable

Reasonable is combining AI code generation with formal verification to create provably correct and secure software. Their platform uses proprietary formal reasoning systems to help engineering teams automatically verify software against formal specifications at scale. The technology has the potential to make formal verification the default standard for enterprise and production software.