Formal Methods Teaching

5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

Catherine Dubois, Pierluigi San Pietro (Herausgeber)

Buch | Softcover

IX, 105 Seiten

2023 | 1st ed. 2023
Springer International Publishing (Verlag)
978-3-031-27533-3 (ISBN)

Artikel merken

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.
The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.

Automated Exercise Generation for Satisfiability Checking.- Graphical Loop Invariant Based Programming.- A Gentle Introduction to Verification of Parameterized Reactive Systems.- Model Checking Concurrent Programs for Autograding in pseuCo Book.- Teaching TLA+ to Engineers at Microsoft.- Teaching and Training in Formalisation with B.- Teaching low-code Formal Methods with Coloured Petri Nets.

Erscheinungsdatum	23.02.2023
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	IX, 105 p. 69 illus., 20 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	191 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Schlagworte	Architecting • architecture verification and validation • Artificial Intelligence • computer programming • Computer Science • Curricula • Education • Fuzzy Sets • Linguistics • Mathematics • software architecture • Software Design • Software engineering
ISBN-10	3-031-27533-0 / 3031275330
ISBN-13	978-3-031-27533-3 / 9783031275333
Zustand	Neuware