Tutorial 2: TLA+ and Rust Introduction

Slides

• Introduction to TLA+ and PlusCal.pdf Download Introduction to TLA+ and PlusCal.pdf 

For the first part of the tutorial, we will be covering the model checking tool/language TLA+.

Then as the upcoming suggested projects are in the Rust programming language, the second part will be an introduction to Rust.

Date: 2022-02-04 10:15

Zoom: https://kth-se.zoom.us/j/62138125280 Links to an external site.