Simposio de Métodos Formales de NASA 2025

Descripción

Destacados

Centrado en técnicas formales para la garantía de software y sistemas en el espacio, la aviación, la robótica y otros sistemas críticos. Organizado por el equipo de métodos formales en el Centro de Investigación Langley de la NASA. Tiene como objetivo fomentar la colaboración entre teóricos y practicantes de la NASA, agencias gubernamentales, academia e industria. Aborda la especificación, diseño, verificación, validación y certificación de sistemas críticos para misiones y seguridad. Incluye presentaciones, demostraciones de herramientas y sesiones de pósteres. Los artículos serán publicados en Lecture Notes in Computer Science (LNCS) de Springer. Las presentaciones incluyen artículos regulares, artículos cortos, artículos de herramientas y estudios de caso. Formato de conferencia híbrido que permite la participación tanto en persona como remota. No hay tarifa de inscripción para los asistentes, pero se requiere registro. Cubre temas emergentes como la garantía de seguridad de sistemas autónomos habilitados por aprendizaje automático.