Introducing Formal Methods to First-Year Students in Three Intensive Weeks

Luca Aceto; Anna Ingólfsdóttir

doi:10.1007/978-3-030-91550-6_1

Introducing Formal Methods to First-Year Students in Three Intensive Weeks

Luca Aceto^*, Anna Ingólfsdóttir

^*Corresponding author for this work

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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.

Original language	English
Title of host publication	Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Proceedings
Editors	João F. Ferreira, Alexandra Mendes, Claudio Menghi
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	1-17
Number of pages	17
ISBN (Print)	9783030915490
DOIs	https://doi.org/10.1007/978-3-030-91550-6_1
Publication status	Published - 2021
Event	4th International Workshop and Tutorial, FMTea 2021, held as part of the 4th World Congress on Formal Methods, FM 2021 - Virtual, Online Duration: 21 Nov 2021 → 21 Nov 2021

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13122 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Workshop and Tutorial, FMTea 2021, held as part of the 4th World Congress on Formal Methods, FM 2021
City	Virtual, Online
Period	21/11/21 → 21/11/21

Bibliographical note

Funding Information:
This work has been partly funded by the projects “Open Problems in the Equational Logic of Processes (OPEL)” (grant no. 196050) and “MoVeMnt: Mode(l)s of Verification and Monitorability” (grant no. 217987) of the Icelandic Research Fund.

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

Other keywords

Formal methods education
Modelling and verification
Timed automata
Uppaal

Access to Document

10.1007/978-3-030-91550-6_1

Cite this

Aceto, L., & Ingólfsdóttir, A. (2021). Introducing Formal Methods to First-Year Students in Three Intensive Weeks. In J. F. Ferreira, A. Mendes, & C. Menghi (Eds.), Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Proceedings (pp. 1-17). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13122 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-91550-6_1

Aceto, Luca ; Ingólfsdóttir, Anna. / Introducing Formal Methods to First-Year Students in Three Intensive Weeks. Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Proceedings. editor / João F. Ferreira ; Alexandra Mendes ; Claudio Menghi. Springer Science and Business Media Deutschland GmbH, 2021. pp. 1-17 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c56d8890eb224e70910ef0674870ddc5,

title = "Introducing Formal Methods to First-Year Students in Three Intensive Weeks",

abstract = "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 {\textquoteleft}soft skills{\textquoteright} such as their communication skills, as well as their ability to work independently and as members of a team.",

keywords = "Formal methods education, Modelling and verification, Timed automata, Uppaal",

author = "Luca Aceto and Anna Ing{\'o}lfsd{\'o}ttir",

note = "Funding Information: This work has been partly funded by the projects “Open Problems in the Equational Logic of Processes (OPEL)” (grant no. 196050) and “MoVeMnt: Mode(l)s of Verification and Monitorability” (grant no. 217987) of the Icelandic Research Fund. Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 4th International Workshop and Tutorial, FMTea 2021, held as part of the 4th World Congress on Formal Methods, FM 2021 ; Conference date: 21-11-2021 Through 21-11-2021",

year = "2021",

doi = "10.1007/978-3-030-91550-6_1",

language = "English",

isbn = "9783030915490",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "1--17",

editor = "Ferreira, {Jo{\~a}o F.} and Alexandra Mendes and Claudio Menghi",

booktitle = "Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Proceedings",

address = "Germany",

}

Aceto, L & Ingólfsdóttir, A 2021, Introducing Formal Methods to First-Year Students in Three Intensive Weeks. in JF Ferreira, A Mendes & C Menghi (eds), Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13122 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 1-17, 4th International Workshop and Tutorial, FMTea 2021, held as part of the 4th World Congress on Formal Methods, FM 2021, Virtual, Online, 21/11/21. https://doi.org/10.1007/978-3-030-91550-6_1

Introducing Formal Methods to First-Year Students in Three Intensive Weeks. / Aceto, Luca ; Ingólfsdóttir, Anna.
Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Proceedings. ed. / João F. Ferreira; Alexandra Mendes; Claudio Menghi. Springer Science and Business Media Deutschland GmbH, 2021. p. 1-17 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13122 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Introducing Formal Methods to First-Year Students in Three Intensive Weeks

AU - Aceto, Luca

AU - Ingólfsdóttir, Anna

N1 - Funding Information: This work has been partly funded by the projects “Open Problems in the Equational Logic of Processes (OPEL)” (grant no. 196050) and “MoVeMnt: Mode(l)s of Verification and Monitorability” (grant no. 217987) of the Icelandic Research Fund. Publisher Copyright: © 2021, Springer Nature Switzerland AG.

PY - 2021

Y1 - 2021

N2 - 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.

AB - 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.

KW - Formal methods education

KW - Modelling and verification

KW - Timed automata

KW - Uppaal

UR - http://www.scopus.com/inward/record.url?scp=85121672080&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-91550-6_1

DO - 10.1007/978-3-030-91550-6_1

M3 - Conference contribution

AN - SCOPUS:85121672080

SN - 9783030915490

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 17

BT - Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Proceedings

A2 - Ferreira, João F.

A2 - Mendes, Alexandra

A2 - Menghi, Claudio

PB - Springer Science and Business Media Deutschland GmbH

T2 - 4th International Workshop and Tutorial, FMTea 2021, held as part of the 4th World Congress on Formal Methods, FM 2021

Y2 - 21 November 2021 through 21 November 2021

ER -

Aceto L , Ingólfsdóttir A. Introducing Formal Methods to First-Year Students in Three Intensive Weeks. In Ferreira JF, Mendes A, Menghi C, editors, Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Proceedings. Springer Science and Business Media Deutschland GmbH. 2021. p. 1-17. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-91550-6_1