Métodos Formales de Desarrollo de Software

Description:

• This repository contains material from the subject MFDS

• Formal Methods of Software Development in English

• All the exercises are carried out with Dafny

Dafny:

• Automatic program verifier

• Developed by Microsoft Research

• Online: https://rise4fun.com/Dafny

• Tutorial: https://rise4fun.com/Dafny/tutorial/guide

• Install: https://github.com/dafny-lang/dafny/wiki/INSTALL

Contents:

• Slides

• Laboratories

• Assignments

• Challenges

• Basic Bibliograpy

• Complementary Readings