URSA Inc.

About URSA Inc.

URSA Secure builds technologies that improve software trust across the lifecycle, from development through deployment in mission-critical environments. Our first product, FMToolkit, provides formal assurance for automated code transformation—helping teams verify that AI-generated rewrites, refactors, and large-scale ports preserve intended behavior.

We focus on bringing rigorous, mathematical verification into practical software development workflows so security and correctness can be addressed earlier, not just after deployment. This product-first strategy builds on URSA’s broader work in resilient cyber systems and secure software operations.

Team

David Kovar

Founder

Problem statement

Software teams are increasingly using automation and AI to rewrite, refactor, and port large codebases, but existing validation methods (tests, reviews, static analysis) often cannot prove that transformed code is behaviorally equivalent to the original across all relevant inputs.

This creates a high-cost bottleneck: organizations must choose between shipping quickly with uncertain risk or slowing delivery to reduce uncertainty. The challenge is especially acute in large modernization and porting projects, where manual verification does not scale and subtle behavioral regressions can be expensive, unsafe, or compliance-critical.

The market needs practical formal assurance that fits real development workflows and provides either mathematical equivalence or actionable counterexamples early in the lifecycle.

Traction information

* Awarded a DARPA contract supporting 12 months of full-time commercialization effort; selected into DARPA’s Embedded Entrepreneur Initiative (EEI); working with Capital Factory and a DARPA Senior Commercialization Advisor (SCA) to accelerate FMToolkit go-to-market and customer traction.
* Selected for and completed MassChallenge’s Security & Resiliency program, expanding our commercialization network across government, enterprise, and investor ecosystems.

Updates

Profile created.

Added about 3 hours ago