Log in
Sign up
Golden has been acquired by ComplyAdvantage.Read about it here ⟶
‌

PolySpace

Subsidiary of MathWorks providing automated static code analysis using formal methods for C/C++ and Ada

OverviewStructured DataIssuesContributorsActivity

All edits

Edits on 21 Dec, 2023
"NL fact extraction"
Golden Au profile picture
Golden Au
edited on 21 Dec, 2023
Edits made to:
Infobox (+1 properties)
Infobox
Number of Employees (Ranges)
51 – 2000
Edits on 15 Mar, 2023
"prospector:2457:2520327"
Katrina-Kay Pettitt profile picture
Katrina-Kay Pettitt
edited on 15 Mar, 2023
Edits made to:
Infobox (+2 properties)
Infobox
Industry
Software
Software
Technology
Technology
Edits on 9 Nov, 2022
"Edit from table cell"
Artem Veelko profile picture
Artem Veelko
edited on 9 Nov, 2022
Edits made to:
Infobox (+1 properties)
Infobox
LinkedIn URL
https://www.linkedin.com/company/polyspace-technologies/
Edits on 30 Aug, 2022
"update inverses"
Golden AI profile picture
Golden AI
edited on 30 Aug, 2022
Edits made to:
Infobox (-1 properties)
Infobox
Products
PolySpace for Ada
PolySpace for Ada
Edits on 18 May, 2022
"prospector:1536:1184435"
Katrina-Kay Pettitt profile picture
Katrina-Kay Pettitt
edited on 18 May, 2022
Edits made to:
Infobox (+1 properties)
Infobox
Is a
Organization
Organization
Edits on 3 Nov, 2021
"Inferring industry - ai.social_media_extractor.01"
Golden AI profile picture
Golden AI
edited on 3 Nov, 2021
Edits made to:
Infobox (+1 properties)
Infobox
Facebook
https://www.facebook.com/MATLAB
Edits on 4 Jan, 2021
"Adding cybersecurity industry"
Golden AI profile picture
Golden AI
edited on 4 Jan, 2021
Edits made to:
Infobox (+1 properties)
Infobox
Industry
Cybersecurity
Cybersecurity
"Infobox creation from: Wikidata data enrichment"
Golden AI profile picture
Golden AI
approved a suggestion from Golden's AI on 4 Jan, 2021
Edits made to:
Infobox (+1 properties)
Infobox
Founded date
January 1, 1999
"Adding application security"
Golden AI profile picture
Golden AI
edited on 4 Jan, 2021
Edits made to:
Infobox (+1 properties)
Infobox
Industry
‌
Application security
Edits on 17 Jul, 2020
"Research engine edit"
Jason D. Rowley profile picture
Jason D. Rowley
edited on 17 Jul, 2020
Edits made to:
Infobox (+4 properties)
Infobox
Competitors
Coverity
Coverity
Parasoft
Parasoft
Checkmarx
Checkmarx
SonarSource
SonarSource
Edits on 17 Jun, 2020
"Research engine edit"
Jason D. Rowley profile picture
Jason D. Rowley
edited on 17 Jun, 2020
Edits made to:
Infobox (--1 properties)
Infobox
Business model
Licensing
Golden AI profile picture
Golden AI
edited on 17 Jun, 2020
Edits made to:
Infobox (+1 properties)
Infobox
Products
PolySpace for Ada
PolySpace for Ada
Golden AI profile picture
Golden AI
edited on 17 Jun, 2020
Edits made to:
Infobox (+1 properties)
Infobox
Products
Polyspace Bug Finder
Polyspace Bug Finder
Golden AI profile picture
Golden AI
edited on 17 Jun, 2020
Edits made to:
Infobox (+1 properties)
Infobox
Products
‌
Polyspace Code Prover
Jason D. Rowley profile picture
Jason D. Rowley
edited on 17 Jun, 2020
Edits made to:
Description (+43/-9 characters)
‌

PolySpace

AutomatedSubsidiary of MathWorks providing automated static code analysis using formal methods for C/C++ and Ada

Jason D. Rowley profile picture
Jason D. Rowley
edited on 17 Jun, 2020
Edits made to:
Infobox (+10 properties)
Description (+69 characters)
‌

Polyspace PolySpace

Automated static code analysis using formal methods for C/C++ and Ada

Infobox
Is a
Company
Company
Industry
‌
Static program analysis
Software development
Software development
Code review
Code review
Location
Montbonnot-Saint-Martin
Montbonnot-Saint-Martin
Crunchbase
https://www.crunchbase.com/organization/polyspace-technologies
Parent organization
MathWorks
MathWorks
Date incorporated
1999
Product parent company
MathWorks
MathWorks
Golden AI profile picture
Golden AI
edited on 17 Jun, 2020
Edits made to:
Infobox (+1 properties)
Infobox
Acquired by
‌
MathWorks acquisition of PolySpace, April 2007
Edits on 3 Mar, 2020
"Attach Wikidata entity ID"
Golden AI profile picture
Golden AI
edited on 3 Mar, 2020
Edits made to:
Infobox (+1 properties)
Infobox
Wikidata entity ID
Q7226954
Edits on 24 Sep, 2018
"Import structured data from Wikidata.org: https://www.wikidata.org/wiki/Q7226954"
Golden AI profile picture
Golden AI
edited on 24 Sep, 2018
Edits made to:
Infobox (+1 properties)
Infobox
Website
https://www.mathworks.com/products/polyspace.html
Edits on 1 Jan, 2017
"Initial topic creation"
Golden AI profile picture
Golden AI
created this topic on 1 Jan, 2017
Edits made to:
Article
‌

 Polyspace

Subsidiary of MathWorks providing automated static code analysis using formal methods for C/C++ and Ada

Find more companies like PolySpace

Use the Golden Query Tool to find similar companies in the same industry, location, or by any other field in the Knowledge Graph.
Open Query Tool
Access by API
Golden Query Tool
Golden logo