MathWorks acquired PolySpace for an undisclosed sum in April 2007. PolySpace became a subsidiary of MathWorks and has some of its functionality integrated into other MathWorks products.