PolySpace Technologies
PolySpace Technologies, a MathWorks sub-brand founded in 1999 in France, provides static code analysis and formal verification tools for embedded C, C++, and Ada software, serving safety-critical industries such as automotive, aerospace, and medical devices through subscription licensing and global enterprise sales.
- Company typePrivate
- Founded1984
- HeadquartersMontbonnot-saint-martin, France
- Headcount—
- GTM typeB2B
- OfferingSoftware
What PolySpace Technologies does
PolySpace Technologies, founded in 1999 and headquartered in Montbonnot-Saint-Martin, France, operates as a code verification sub-brand of MathWorks (founded 1984, Natick, Massachusetts, USA). The company provides static analysis and formal verification tools for embedded software written in C, C++, and Ada, focused on safety-critical and mission-critical industries including automotive, aerospace and defense, medical devices, industrial automation, and semiconductors.
The product portfolio centers on two flagship tools: Polyspace Bug Finder, which identifies run-time errors, dead code, and coding-rule violations through static analysis without executing code; and Polyspace Code Prover, which uses formal methods to mathematically prove the absence of run-time errors in source code without requiring test vectors or execution. The portfolio also includes server editions for enterprise cluster deployments, Polyspace Test for unit and integration testing, Polyspace Access for team-based dashboard review, Polyspace as You Code for IDE-integrated analysis, and Ada-specific variants. In the 2025-2026 R2026a release, MathWorks added Polyspace Copilot (a generative AI assistant) and Polyspace Agentic Toolkit (autonomous AI agents for verification workflows), embedding AI capabilities into the traditional static-analysis stack.
PolySpace operates within MathWorks' broader commercial model: software licenses and subscriptions (individual, enterprise site, and academic tiers), quote-based pricing, training and certification programs, and a global direct sales force with localized presence across 14+ countries. Revenue is generated primarily through annual subscription licensing to engineering teams, with complementary revenue from training, certification, and academic licensing. As a MathWorks sub-brand, PolySpace benefits from the parent's distribution, R&D base, and 70-of-Fortune-100 customer footprint, while serving regulated industries through pre-qualified toolkits supporting ISO 26262, IEC 61508, and DO-178 certification requirements.
PolySpace Technologies firmographics
Firmographics- Name
- PolySpace Technologies
- Legal name
- The MathWorks, Inc.
- Website
- https://in.mathworks.com
- Company type
- Private
- Founded year
- 1984
- Operating status
- Operating
- Short description
- PolySpace Technologies, a MathWorks sub-brand founded in 1999 in France, provides static code analysis and formal verification tools for embedded C, C++, and Ada software, serving safety-critical industries such as automotive, aerospace, and medical devices through subscription licensing and global enterprise sales.
- Ownership category
- akta.pro rank
PolySpace Technologies industry classification
Industry- Product category
- Embedded Software Verification
- NAICS
- Software Publishers (5132), Testing Laboratories and Services (541380)
- SIC
- Services-Prepackaged Software (7372), Services-Testing Laboratories (8734)
- akta.pro primary industry
- Quality Engineering & Test Automation (QE/QA) (BPAEAFAJ)
- akta.pro secondary industry
- App Security, Compliance & Review Automation Platforms (BPAMADAJ)
Keywords
Where PolySpace Technologies is headquartered
LocationHeadquarters
- HQ city
- Montbonnot-saint-martin
- HQ country
- France
- HQ region
- Europe
Offices1 record
Markets served
PolySpace Technologies business model
Business model- GTM type
- B2B
- Offering type
- Software
- Cost components
- Technology or R&D, Personnel, Marketing or Sales, Operations, Infrastructure
Revenue model
- Software Licenses and Subscriptions: MathWorks generates revenue through software licensing including perpetual licenses and subscription models. They offer various license types including individual, academic, and enterprise licenses. Pricing varies by product, license type, and deployment option.
- Training and Certification: MathWorks offers instructor-led training (virtual and in-person), self-paced online courses, and certification programs. Training credits and customized learning solutions for organizations are also available.
- Academic Licensing: Campus-wide access and academic teaching licenses for universities and educational institutions.
Pricing tiers
| Model | Billing | Price |
|---|---|---|
| Subscription | Annual | Individual/Standard License |
| Subscription | Annual | Academic License |
| Subscription | Annual | Enterprise License |
Go-to-market motion2 records
Distribution channels5 records
Marketing channels8 records
PolySpace Technologies product offering
Product offeringCore offering
PolySpace Technologies develops and sells the Polyspace family of embedded software verification tools, which perform static code analysis and formal verification on C, C++, and Ada source code. The portfolio detects run-time errors, security vulnerabilities, and coding rule violations, and mathematically proves the absence of run-time errors without requiring code execution or test cases. Products are available in desktop and server editions, include AI-assisted verification capabilities, and support compliance with functional safety standards such as ISO 26262, IEC 61508, and DO-178.
Product overview
PolySpace Technologies (part of MathWorks) provides a comprehensive static code analysis and verification product family. The portfolio centers on Polyspace Bug Finder for bug detection and Polyspace Code Prover for mathematical proof of run-time error absence, both available in desktop and server editions. The product line includes AI-augmented offerings (Polyspace Copilot, Polyspace Agentic Toolkit) that integrate generative AI and autonomous agents into verification workflows. Ada-specific variants support safety-critical embedded software development. Polyspace Access provides team-based result review, while Polyspace as You Code delivers IDE-integrated analysis.
Differentiator
Problem solved
Functional benefit
Brands
- Polyspace: Code verification products including Polyspace Bug Finder, Polyspace Code Prover, Polyspace Access, Polyspace Test, Polyspace Copilot, and Polyspace Agentic Toolkit for identifying software bugs and proving absence of run-time errors in embedded systems
- MATLAB
- Simulink
Products and services
- Polyspace Bug Finder Identifies software bugs, security vulnerabilities, and coding rule violations in C and C++ code using static analysis techniques that do not require code execution or test cases. Used by embedded software engineers to detect run-time errors, dead code, and other defects.
- Polyspace Bug Finder Server Server-based version of Polyspace Bug Finder that performs static analysis on server computers for enterprise-scale team deployments of bug detection.
- Polyspace Code Prover Mathematical proof engine that proves the absence of run-time errors in C and C++ software without requiring test vectors or code execution. Used in safety-critical embedded systems development.
- Polyspace Code Prover Server Server-based version of Polyspace Code Prover that proves the absence of run-time errors in software deployed on computer clusters and publishes metrics for team review.
- Polyspace Test Develops, manages, and executes unit and integration tests for C and C++ code in embedded systems.
- Polyspace Client for Ada Desktop client for proving the absence of run-time errors in Ada source code, targeting embedded systems and safety-critical software development.
- Polyspace Server for Ada Server-based code verification platform for Ada that performs analysis on computer clusters and publishes metrics for team review of safety-critical embedded software.
Quantifiable outcome
- 95% of students say coursework had real-world application to their jobs
- +2 more outcomes
Companies that use PolySpace Technologies
Customer profileNamed customers2 records
Segments6 records
Ideal customer profiles4 records
PolySpace Technologies technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- No
- API docs
- API detail
Core technology
AI maturity
App detail
AI capability4 records
Feature12 records
PolySpace Technologies partnerships and signals
Strategic signalScale indicators2 records
Recent moves5 records
Expansion highlights6 records
PolySpace Technologies competitors and assessment
Company assessmentMarket position
Weaknesses4 records
Competitive moat5 records
Key risks5 records
Key highlights5 records
Customer concentration
PolySpace Technologies social profiles
Digital presencePolySpace Technologies compliance and trust
Trust signalCompliance3 records
PolySpace Technologies financial estimates
Financial estimateRevenue estimate
Valuation estimate
PolySpace Technologies leadership team
Management profileNumber of profiles
PolySpace Technologies funding detail
Funding detailFunding overview
Funding rounds
Investors
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
PolySpace Technologies M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about PolySpace Technologies
What does PolySpace Technologies do?
PolySpace Technologies develops and sells the Polyspace family of embedded software verification tools, which perform static code analysis and formal verification on C, C++, and Ada source code. The portfolio detects run-time errors, security vulnerabilities, and coding rule violations, and mathematically proves the absence of run-time errors without requiring code execution or test cases. Products are available in desktop and server editions, include AI-assisted verification capabilities, and support compliance with functional safety standards such as ISO 26262, IEC 61508, and DO-178.
Is PolySpace Technologies a public or private company?
PolySpace Technologies is a private company. It is classified as unknown and is currently operating.
When was PolySpace Technologies founded?
PolySpace Technologies was founded in 1984.
Where is PolySpace Technologies based?
PolySpace Technologies is headquartered in Montbonnot-saint-martin, France, in the Europe region.
How does PolySpace Technologies make money?
Three revenue lines are on record. Software Licenses and Subscriptions are the primary driver. The others are training and Certification and academic Licensing.
Does PolySpace Technologies have an API?
No public API is recorded for PolySpace Technologies.
What industry is PolySpace Technologies in?
PolySpace Technologies's product category is Embedded Software Verification. Its primary akta.pro industry code is BPAEAFAJ, Quality Engineering & Test Automation (QE/QA), with a secondary code of BPAMADAJ, App Security, Compliance & Review Automation Platforms. Its NAICS code is 5132 and its SIC code is 7372.