Simulink Design Verifier

GPTKB entity

Statements (29)
Predicate Object
gptkbp:instanceOf gptkb:software
gptkbp:analyzes gptkb:Simulink_models
gptkbp:category model-based design
verification tool
gptkbp:developedBy gptkb:MathWorks
gptkbp:firstReleased 2006
gptkbp:foundIn integer overflow
assertion violations
dead logic
design errors
division by zero
gptkbp:generation test cases
counterexamples
https://www.w3.org/2000/01/rdf-schema#label Simulink Design Verifier
gptkbp:integratesWith gptkb:Simulink
gptkbp:latestReleaseVersion gptkb:R2024a
gptkbp:license proprietary
gptkbp:operatingSystem gptkb:Windows
gptkb:Linux
gptkbp:supports gptkb:DO-178C
gptkb:MATLAB
gptkb:ISO_26262
gptkbp:usedFor formal verification
model checking
test case generation
property proving
gptkbp:website https://www.mathworks.com/products/sldesignverifier.html
gptkbp:bfsParent gptkb:Simulink
gptkbp:bfsLayer 6