Amazon disponibiliza curso de verificação de programas baseado em Dafny
2025-06-02
A Amazon tornou público materiais didáticos para verificação de programas usando Dafny. O curso vai além da programação básica em Dafny, explorando suas capacidades como assistente de prova. Ele é estruturado em três partes: a Parte 1 apresenta a linguagem de programação Dafny; a Parte 2 explora o Dafny como um assistente de prova, cobrindo métodos de prova formais como dedução natural; e a Parte 3 aplica esse conhecimento à verificação de programas, cobrindo programas funcionais, imperativos e orientados a objetos. Este recurso é adequado tanto para iniciantes quanto para desenvolvedores experientes em Dafny, oferecendo uma abordagem abrangente à verificação de programas.
Leia mais
Desenvolvimento
prova formal