URSA
Techstars '18Exeter, US · 1 known investors
URSA Secure builds formal methods software to verify AI-generated code before production, helping companies reduce rework, prevent incidents, and accelerate modernization of large codebases. The toolkit applies formal verification techniques to prove software behavior and behavioral equivalence in AI-assisted development.