URSA
ActiveURSA Secure - FMToolkit
What it does
Unverified AI code is a liability. URSA Secure applies formal methods to verify software behavior before it reaches production - so you ship what is proven, not assumed.
Next to it in Developer tools · AI code verification and formal methods
- CodeStreamY Combinator W18
CodeStream is a Developer Collaboration Platform designed to…
- HaikuY Combinator W18
Collaboration tools for software companies
- PagedrawY Combinator W18
Pagedraw is a platform for productionizing designs into code. Thanks…
- StorylineY Combinator W18
Create Alexa Skills without coding
- DreamCraft Entertainment, Inc.Y Combinator S18
Platform that allows anyone to create and monetize video games.
- ContrastY Combinator S18
Developer Handoff - Reimagined for Storybook
- PullRequestY Combinator S17
Code review as a service - combining automation with a network of…
- App Onboard500 Global
Developer of a no-code development software designed to bring ideas to life without having to write a single code. The company's software creates applications, playable advertisements, application prototypes, and game developments without the need of writing codes, enabling users to design, build and share their interactive experiences on application stores and social networks.