Formal Technology
Latest round
- Series A
Last raised
- Aug 2023
Total raised
- $14M
Investors
- 3
About Formal Technology
, trading under the name Formal Technology, provides industrial control infrastructure solutions for the aerospace, rail transit, and automotive sectors. The company was incubated by the National Trusted Embedded Software Engineering Technology Research Center. The founding team maintains over a decade of experience in industrial software development, establishing cooperative relationships with major enterprises such as AVIC and China Electronics.1 Technology Partnership, Shenzhen Capital Real Estate Fund, CITIC Trust PE and GL Ventures. The company's self-developed products include SMAVE and ACEPHERE. SMAVE series of products for safe stakeholder embedded system software with model-based graphical embedded software development, processor instruction set and board system simulation and analysis, AI-based adversarial learning network testing, and other functions. ACEPHERE has the function of development and runtime environment, motion control, and HMI (Human Machine Interface) design. The company generates revenue from B2B contracts through the sale of industrial control software suites, embedded system development environments, and modular hardware platforms.
Who invested in Formal Technology
3 investors across 1 round
See all investors in Formal Technology
Sign up free to see every VC on the cap table, the rounds they joined, and how much each round raised.
Funding rounds
Series A
Aug 28, 2023
Amount
$14M
Investors
Questions about Formal Technology
Who invested in Formal Technology?
Formal Technology has 3 investors on record across 1 venture round. Sign up free to see every VC on the cap table and the rounds they joined.
How much funding has Formal Technology raised?
Formal Technology has raised 1 venture round. Sign up free to see how much each round raised and the total.
When did Formal Technology last raise money?
Formal Technology's most recent round on record is a Series A, in Aug 2023.
What does Formal Technology do?
, trading under the name Formal Technology, provides industrial control infrastructure solutions for the aerospace, rail transit, and automotive sectors.
Where is Formal Technology headquartered?
Formal Technology is headquartered in Shanghai, China.
Which VCs invest in companies like Formal Technology?
Among active investors with capital left to deploy, Yufu Capital, ICBC Capital Management, Ningbo Tongshang Fund and Boc Private Equity Firm back software companies at Formal Technology's stage. Their profiles are linked below.
VCs backing software startups at Series A
Raising like Formal Technology? Find the right VCs.
Capital Atlas matches your startup to active investors by stage, sector and region.