MFDS

Métodos Formales de Desarrollo de Software (Formal Methods for Software Development).

Exercises and projects using formal verification techniques.

Resources

• 💻 Code: GitHub