Amazon publica curso de verificación de programas basado en Dafny

Amazon ha publicado materiales didácticos para la verificación de programas utilizando Dafny. El curso va más allá de la programación básica en Dafny, profundizando en sus capacidades como asistente de prueba. Está estructurado en tres partes: la Parte 1 presenta el lenguaje de programación Dafny; la Parte 2 explora Dafny como asistente de prueba, cubriendo métodos de prueba formales como la deducción natural; y la Parte 3 aplica este conocimiento a la verificación de programas, abarcando programas funcionales, imperativos y orientados a objetos. Este recurso es adecuado tanto para principiantes como para desarrolladores experimentados en Dafny, ofreciendo un enfoque integral a la verificación de programas.