Key facts
- Formal (Commercial Services)’s last known valuation is $32.0M (Feb 2025).
- It has raised $7.7M; the latest was Seed Round ($7.0M) in Feb 2025.
- Notable investors include Vermilion Cliffs Ventures.
- Status: Privately Held (backing).
Investors
1- ·The complete investor list — 1 names
- ·Watchlist + deal alerts for Formal (Commercial Services)
- ·The full record, as it builds
Funding rounds
No funding rounds for Formal (Commercial Services) are on record yet — either the company hasn't raised institutional capital, or the raise hasn't surfaced in our sources.
About Formal (Commercial Services)
Developer of serverless computing technology designed for leveraging formal verification and compilers. The company is currently operating in stealth mode.
- Sector
- Business Products and Services (B2B)
- HQ
- Menlo Park, CA, United States
- Founded
- 2023
- Employees
- 3
- Website
- formalstack.com/
- Ownership
- Privately Held (backing)
Formal (Commercial Services) doesn't have a composite mark yet — a PA Mark is published once enough pricing inputs exist (trade prints, fund marks, round prices). The rest of the record below builds toward it.
Recorded secondary trades
No secondary trades in Formal (Commercial Services) shares have been recorded yet. When a print lands — third-party, direct report, or platform — it appears here with structure, source, and price.
Institutional fund marks
No SEC-registered fund has reported a fair-value mark on Formal (Commercial Services) in its N-PORT filings yet. We sweep new filings monthly.