MATLAB® is a general-purpose computing, data analysis and visualization environment by MathWorks®, Inc.
Simulink® is an environment for multidomain simulation and Model-Based Design for dynamic and embedded systems.
Stateflow® is an interactive design tool for modeling and simulating complex reactive systems.
There are many application libraries,
toolboxes, and simulation libraries
blocksets, built on top of these products.
PolySpace™ products verify C, C++, and Ada code for embedded applications by detecting run-time errors before code is compiled and executed.
HUMUSOFT s.r.o. is the authorized reseller of MathWorks®, Inc. for these countries:
Czech Republic
Slovakia
Moldova