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