Software Verification

Actions Panel

Software Verification

Software (formal) Verification is the process of proving or disproving the correctness of a program or design...

When and where

Date and time

Location

Online

About this event

  • 3 hours
  • Mobile eTicket

Hvad går denne session ud på?

Software (formal) Verification is the process of proving or disproving the correctness of a program or design with respect to a certain specification or property, using formal methods of mathematics. One of the main methods is model checking, which is based on the creation of a mathematical model of the system and its automatic exploration. This course will provide an introduction of software verification using model checking and industry-level tools such as TLA+.

Underviser: Marco Peressotti

(This session is in english)

Hvad kræver det at deltage?

Basic programming and familiarity with basic concepts of discrete mathematics (sets and their operations, Boolean logic).

Skal jeg installere noget inden arrangementet?

The TLA+ Toolbox https://lamport.azurewebsites.net/tla/toolbox.html