PolySpace Technologies, now part of The MathWorks company


Chris Hote, Business Development Manager, PolySpace products
3 Apple Hill Drive
Natick, MA 01760
USA
Phone: (508)647-2015
Phone: (877)711-7659
Fax: (508)647-7028
Click here to send mail:
The PolySpace products are code-based verification tools that prove code correctness and that detect run-time errors before compile time. Based on abstract interpretation techniques, these tools support organizations developing critical systems to face their strategic software quality challenges.
Go to TechExpo Homepage.
© TechExpo Corp.™, 2007;