Can I read Introducing Formal Methods to First-Year Students in Three Intensive Weeks on EtoBox?

Introducing Formal Methods to First-Year Students in Three Intensive Weeks by Luca Aceto; Anna Ingólfsdóttir is a book available to read on EtoBox.

What is Introducing Formal Methods to First-Year Students in Three Intensive Weeks about?

This paper presents a crash course whose goal is to introduce modelling and verification using model-checking technology to mostly first-and second-year bachelor students at the Department of Computer Science at Reykjavik University. The course is student driven, project based and fosters independent learning in the student body. During the course, students tackle a number of non-trivial modelling and verification tasks using the model checker Uppaal, while also practising 'soft skills' such as their communication skills, as well as their ability to work independently and as members of a team.

Author

Luca Aceto; Anna Ingólfsdóttir

Publisher

Springer International Publishing : Imprint: Springer

Published

2021

Language

EN

ISBN

9783030915506

Subjects

Mathematics, Stem