Formal Methods Teaching
5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Seiten
2023
|
1st ed. 2023
Springer International Publishing (Verlag)
978-3-031-27533-3 (ISBN)
Springer International Publishing (Verlag)
978-3-031-27533-3 (ISBN)
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.
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 |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Übungsbuch für Fachhochschulen
Buch | Hardcover (2023)
Carl Hanser (Verlag)
16,99 €