Sonar Acquires Gitar, Expanding Code Verification Platform to Include AI Code Review

Sonar, a global leader in AI code verification and governance, has acquired Gitar, the AI-native code review platform. Now, ...

Qodo raises $70M for code verification as AI coding scales

As AI floods software development with code, Qodo is betting the real challenge is making sure it actually works.
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 ...