Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Company
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Math_Works
|
| gptkbp:acquired |
gptkb:Math_Works
|
| gptkbp:awards |
Innovation Award
Best Software Product Award |
| gptkbp:employees |
50-100
|
| gptkbp:founded |
gptkb:2002
|
| gptkbp:founder |
Nicolas B. S. G.
|
| gptkbp:headquarters |
gptkb:Paris,_France
|
| https://www.w3.org/2000/01/rdf-schema#label |
Polyspace Technologies
|
| gptkbp:industry |
gptkb:software_framework
|
| gptkbp:location |
gptkb:Europe
gptkb:Asia gptkb:North_America |
| gptkbp:partnership |
gptkb:Math_Works
Various Universities |
| gptkbp:products |
gptkb:Polyspace_Bug_Finder
gptkb:Polyspace_Code_Prover gptkb:Polyspace_Code_Review |
| gptkbp:revenue |
10-50 million USD
|
| gptkbp:services |
gptkb:software
Software Verification |
| gptkbp:specializes_in |
Static Code Analysis
|
| gptkbp:target_market |
gptkb:hospital
gptkb:software_framework Aerospace Industry Automotive Industry |
| gptkbp:website |
www.polyspace.com
|