Los usuarios ejecutan análisis estático exhaustivo basado en métodos formales sobre código C, C++ y Rust y siguen la remediación guiada en la GUI hasta la causa raíz de cada hallazgo. La versión 26.10 añade un agente de codificación con IA dentro de la interfaz que automatiza pasos clave de la preparación y configuración de una campaña de análisis, y mayor automatización de la cobertura MC/DC con vista de tabla de verdad e informes orientados a la certificación. Las garantías se aplican dentro del alcance y las suposiciones definidos del análisis; la IA asiste en la configuración mientras el Analyzer realiza la verificación.
Más detalles del producto
A quién va dirigido
- Sectores
- Automoción
- Aeroespacial y defensa
- Electrónica
Producto
- Tipo de solución
- Aplicación
softosaur