NATICK, Mass.--(BUSINESS WIRE)--MathWorks today announced that Simulink Design Verifier now includes Polyspace analysis technology for automated error detection in ...