Start Free Trial
Pricing
Log In
Log In
Upgrade browser for full Crunchbase experience. You're accessing Crunchbase in a browser that is no longer supported.
Learn More
Formal Works Logo
Formal Works Growth Score
83
CB Rank
1340791
Heat Score
61
Formal Works is a safety-oriented embedded software development and verification company.
Founded
obfuscation
Private Seocho, Seoul-t'ukpyolsi, South Korea11-50 www.formalworks.com
Embedded Software
Information Technology
Software
Overview

Formal Works
Growth Score
83
Heat Score
61

Growth Score83
-5 pts
in past quarter
Heat Score 61
-21 pts
in past quarter

Company Performance Metrics

Score
Trend
AI Content may contain mistakes and is not legal, financial or investment advice.Learn more.
Growth Score - The measure of growth based on company activity, operational metrics, and investments
Growth Trend - The change in the growth score over the given time period
Heat Score - The measure of the market interest, media activity, and Crunchbase profile activity
Heat Trend - The change in the heat score over the given time period
Learn More >
Recent Events
Raised Funding Round
Jan 1, 1970
Lorem ipsum dolor sit amet, consectetur
See more interactive data and historical milestones on desktop for the best experience

About Formal Works

CB Rank
1340791
Formal Works is a safety-oriented embedded software development and verification company.
Founded
obfuscation
Private Seocho, Seoul-t'ukpyolsi, South Korea11-50 www.formalworks.com
Embedded Software
Information Technology
Software

Details

Also Known As (주)폼웍스
Operating Status Active
Company Type For Profit
Phone Number 02-563-8763
Contact Email contact@formalworks.com
Predictions & Insights

Growth Prediction

See this Growth Prediction

Products & Services

TimeBounder
A tool for real-time scheduling analysis and worst-case execution time verification in embedded software.
ModelSpace
A software product related to embedded system modeling and verification.

Unlock More with Crunchbase Pro
  • Full access to financial & funding data on unlimited profiles
  • Export up to 2k results/month for analysis
  • Track market signals on competitors, products, and R&D
  • Preview private company insights and predictions
Financials
Market Intelligence
People
View Profiles & Contacts
Headcount 11-50
News
Technology
View Tech Report

Monthly Web Visits

122
-3.17%
 in past month

Active Website Tech Count

11Formal Works is actively using 11 technologies for its website, according to BuiltWith. These include LetsEncrypt, Common Crawl, and  Amazon.

Total IP

2The intellectual property of Formal Works includes 2 registered patents primarily in the 'Computing; Calculating' category, according to IPqwery.
Sub-Organizations
Frequently Asked Questions

Where is Formal Works's headquarters? Formal Works is located in Seocho, Seoul-t'ukpyolsi, South Korea.Who are Formal Works's competitors? Alternatives and possible competitors to Formal Works may include MathWorks, Parasoft, and  Vector Informatik.
Who We Are
What We Do
Helpful Links
AI Content may contain mistakes and is not legal, financial or investment advice. Learn more.
Terms of Service | Privacy Policy | Sitemap | © 2026 Crunchbase Inc. All Rights Reserved.
(35d1611 1)
|