verificación formal
6 noticias
Herramienta automatiza pedidos de REWE con línea de comandos
Un desarrollador ha creado una herramienta de línea de comandos (CLI) llamada 'korb' que permite automatizar los pedidos de comestibles de REWE a través de sus APIs. Escrita en Haskell, la herramienta está diseñada para ser utilizada por agentes o asistentes para organizar las compras de REWE, gener
lf-lean: IA y verificación de código, una nueva vía
El artículo de theorem.dev presenta `lf-lean`, un proyecto innovador que explora el futuro de la ingeniería de software verificada. El problema central que aborda es cómo garantizar la corrección del código generado por la inteligencia artificial (IA), especialmente cuando la capacidad de generación
IA escribe código: ¿quién garantiza su seguridad?
La creciente adopción de la inteligencia artificial (IA) en el desarrollo de software, con empresas como Google y Microsoft utilizando IA para generar entre el 25% y el 30% de su código, plantea serias preocupaciones sobre la verificación y seguridad. Recientemente, Anthropic desarrolló un compilado
Redes neuronales: Lean busca mayor seguridad
El auge de las redes neuronales en aplicaciones críticas, como sistemas de seguridad y control, ha revelado una brecha preocupante: la verificación y el análisis de estas redes a menudo se realizan *fuera* del entorno de programación donde se definen y ejecutan. Esta separación crea una desconexión
Sistema de Alerta AM Rescata Túneles Sin Comunicación
Un equipo de ingenieros ha desarrollado un nuevo sistema de alertas de emergencia para túneles desatendidos, utilizando una placa FPGA Red Pitaya para transmitir mensajes de audio a través de una señal de radio AM de 12 canales. El sistema, cuyo código fuente está disponible en GitHub, permite la co
CPNs: Herramienta para IA y Apps Distribuidas
Este artículo explora el uso de Redes de Petri Coloreadas (CPNs) como una herramienta prometedora para desarrollar aplicaciones distribuidas concurrentes, especialmente en el contexto de la inteligencia artificial generativa (LLMs) y el desarrollo de software. El objetivo principal es mejorar la ver