© 2018 by SoftCart

  • LinkedIn - Black Circle
  • Facebook Black Round

למידע נוסף על המוצר של MathWorks והצעת מחיר:

MathWorks Simulink Design Verifier

Simulink Design Verifier uses formal methods to identify hidden design errors in models without extensive simulation runs. It detects blocks in the model that result in integer overflow, dead logic, array access violations, division by zero, and requirement violations.