About URSA INC
URSA Secure provides formal methods tools to verify AI-generated software behavior before production, reducing rework and improving engineering velocity. They were awarded a DARPA contract to support commercialization efforts.
Formal methods for software verificationAI-generated code verificationReduction of manual regression testingBehavioral equivalence proof for softwareModernization of large codebases with automated verification
Recent Federal Awards
| Award | Agency | Amount | Date |
|---|---|---|---|
| IMPROVE THE STATE OF RAPID REVERSE ENGINEERING (RE) OF EMBEDDED SYSTEMS SPECIFICALLY TO ALLOW MILITARY USERS T | Department of the Interior | $1.8M | |
| EMBEDDED ENTREPRENEUR INITIATIVE (EEI) | Department of Defense | $340K | |
| Federal contract award | Department of the Interior | $75K |
Is this your company?
Claim this profile to keep it accurate — and see the federal & state opportunities GovIntel's AI has matched to URSA INC right now.
Claim this profile See matched opportunitiesData compiled from public government sources including SAM.gov, USAspending.gov, and state procurement records. Last verified against federal award records. Inaccurate? Let us know.