The MathWorks
MATLAB
Simulink
Polyspace