Formal Methods

Course given by DCC-UFMG

• Plano de ensino
• Instructor:
  • Haniel Barbosa, Office 4323, DCC, hbarbosa@dcc.ufmg.br

Outline

1. Formal Methods
2. Topic 1: Alloy
   1. Introduction
   2. Dynamic Systems
3. Topic 2: Constraint Solving for Formal Verification
4. Topic 3: Dafny

An overview of formal methods in three parts.

Topic 1: Alloy

Introduction

Dynamic Systems

Topic 2: Constraint Solving for Formal Verification

Topic 3: Dafny