Formal - About the company
Formal is a funded company based in San Francisco (United States), founded in 2018. It operates as a Developer of computing infrastructure for elastic and isolated serverless execution. The company has 75 active competitors, including 11 funded and 2 that have exited. Its top competitors include companies like Koyeb, DBOS and Google Cloud.
Company Details
Developer of computing infrastructure for elastic and isolated serverless execution. This technology utilizes formal verification and compiler techniques to manage execution environments. The architecture focuses on providing resource isolation and availability for serverless computing tasks.
Key Metrics
Founded Year
2018
Location
San Francisco, United States
Stage
Funding Raised
Ranked
85th among 85 competitors
Sign up to download Formal's company profile
Formal's funding and investors
Formal is a funded company. Formal has 1 institutional investor.
View details of Formal's funding rounds and investors
Access Tracxn on any website
Install Tracxn ExtensionOur Google Chrome extension lets you view company details while browsing their websites
Formal's Competitors and alternates
Top competitors of Formal include Koyeb, DBOS and Google Cloud. Here is the list of Top 10 competitors of Formal, ranked by Tracxn score:
Get insights and benchmarks for competitors of 2M+ companies! Sign up today!
Rank | Company Details | Short Description | Total Funding | Investors | Tracxn Score |
|---|---|---|---|---|---|
1st | Provider of serverless platform for deploying applications, APIs, and databases | $8.64M | 56/100 | ||
2nd |  DBOS 2023, Cambridge (United States), Seed | Cloud based integrated serverless solutions for application development | $8.5M | 56/100 | |
3rd |  Google Cloud 2008, Mountain View (United States), Unfunded | Provider of cloud computing infrastructure and artificial intelligence software services | - | 54/100 | |
4th |  Vendia 2020, San Francisco (United States), Series B | Serverless application development platform | $50.6M | 50/100 | |
5th | Coiled 2020, Los Angeles (United States), Series A | Provider of a platform for scalable Python-based data processing and analysis | $26M | 45/100 | |
6th |  OBTO 2014, New York City (United States), Unfunded | AI platform to build workflows, agents, and apps rapidly | - | - | 43/100 |
7th |  Upstash 2015, California City (United States), Series A | Cloud based database management solution provider | $11.9M | 40/100 | |
8th |  Azion 2011, Palo Alto (United States), Series A | Developer of a platform to build and run serverless edge applications | - | 40/100 | |
9th |  Anbox Cloud 2019, United Kingdom, Unfunded | Provider of mobile cloud computing platform | - | - | 37/100 |
10th | Stackery 2016, Portland (United States), Seed | Platform for developers to build serverless applications | $7.47M | 37/100 | |
85th | Formal 2018, San Francisco (United States), Funding Raised | Developer of computing infrastructure for elastic and isolated serverless execution | - | - |
Get insights and benchmarks for competitors of 2M+ companies! Sign up today!Looking for more details on Formal's competitors? Click here to see the top ones
Formal's Investments and acquisitions
Formal has made no investments or acquisitions yet.
Reports related to Formal
Here is the latest report on Formal's sector:
Are you a Founder ?
FAQs about Formal
Explore our recently published companies
- Khari M. - Research Engineer - United States based, 2023 founded, Stealth company
- Jason Mah - Director, AI & Product - Singapore based, 2025 founded, Stealth company
- Gon Avnon - Co-Founder - Israel based, 2026 founded, Stealth company
- Danil Ivanov - Software Engineer - Russia based, 2019 founded, Stealth company
- Erik Lindeman - Co-Founder - Pasadena based, 2025 founded, Stealth company
- alena A. - Co-Founder - United States based, 2026 founded, Stealth company
