Detalles del evento:

Descripción

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ósters.
Los trabajos se publicarán en Lecture Notes in Computer Science (LNCS) de Springer.
Las presentaciones incluyen documentos regulares, documentos cortos, documentos de herramientas y estudios de caso.
Formato de conferencia híbrido que permite la participación tanto presencial como remota.
No se cobra cuota de inscripción a los asistentes, pero es necesario registrarse.
Cubre temas emergentes como la garantía de seguridad de sistemas autónomos habilitados por aprendizaje automático.

View the event location on the map or open the route in Google Maps.

# AI

# safety-critical system

# distribute system

# static analysis