Tecnología
Rocq
Sobre esta tecnología, IA para hoy ha analizado 1 noticia, procedentes de 1 medio distinto. En los últimos siete días han sido 1, frente a las 0 de la semana anterior. La fiabilidad media de esa cobertura es de 3,0 sobre 5, medida con las reglas de nuestro método. Las áreas de impacto que más se repiten son IT, Ciberseguridad, Desarrollo. Aparece en 1 historia en seguimiento.
Evolución en 16 semanas
El momentum semanal se estima con la misma fórmula que el momentum actual: volumen, aceleración respecto a la semana anterior, diversidad de fuentes e impacto.
Relacionadas
Anthropic ×1IA generativa ×1agentes de IA ×1Lean ×1Stanford ×1Theorem ×1verificación formal ×1Harmonic ×1
Historias
Noticias
Startups apuestan por la verificación formal automatizada con IA para dar fiabilidad al software
Varias startups, como &Truth, que lanzó su producto y tiene 70 millones de dólares en financiación, buscan automatizar la verificación formal, un proceso que…
Por qué importaSi la verificación formal se abarata, las empresas podrían reducir fallos de seguridad en software crítico. Pero el texto indica que la tecnología…