PolySpace Technologies History
1996-1998: Proof of concept
1999-2007: Continuous growth
The PolySpace Verifier statically detects runtime errors and
non-deterministic constructs in software source code. The PolySpace
tool consists of a familly of four tools targeting different languages: Ada (1999), C (2000), Ada95
and C++ (2003).
PolySpace MISRA:C checker is issued in 2005.
2005-2007: Partnership developments
In 2006, PolySpace Technologies cooperates with dSpace (TargetLink) and The MathWorks (Simulink).
In 2007, PolySpace Technologies is acquired by The MathWorks.
Back to Christèle
Faure home page.