The Register on MSN

Most devs don't trust AI-generated code, but fail to check it anyway

Developer survey from Sonar finds AI tool adoption has created a verification bottleneck Talk about letting things go! Ninety ...
New Electronics

QGen, a customizable code generator and model verifier for Simulink and Stateflow models

AdaCore announces the release of QGen 2.1.0, a qualifiable and customizable code generator and model verifier for Simulink and Stateflow models. This tool can generate MISRA C and SPARK/Ada source ...
EDN

Cognex introduces portable 2-D code verifiers

Cognex has announced its DataMan 7500V handheld verifiers, which can verify the quality of direct-marked and printed 2-D codes for manufacturers implementing traceability programs in the automotive, ...
EDN

Early Verification and Validation in Model-Based Design

This paper discusses some best practices for repeatable and exhaustive verification in the Simulink environment. It describes how early verification and validation (V&V) in Model-Based Design can ...
Electronic Design

Static Analysis For Graphical Programming

Mathworks's Simulink Design Verifier 2.0 (Fig. 1) incorporates static code analysis technology that is obtained when it acquired Polyspace Technologies. The Polyspace code verifiers detect and prove ...