Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings

Formal methods teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Formal Methods Teaching Workshop (VerfasserIn), International Symposium on Formal Methods (BerichterstatterIn)
Weitere Verfasser: Dubois, Catherine (HerausgeberIn), San Pietro, Pierluigi (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2023
Schriftenreihe:Lecture notes in computer science 13962
Schlagworte:
Algorithms & data structures > Artificial intelligence > COMPUTERS / Artificial Intelligence > COMPUTERS / Data Processing / General > COMPUTERS / Data Processing / Speech & Audio Processing > COMPUTERS / Hardware / General > COMPUTERS / Programming / Software Development > Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften > Computerhardware > Information technology: general issues > Künstliche Intelligenz > MATHEMATICS / Logic > Mathematical foundations > Mathematik: Logik > Mathematische Grundlagen > Natural language & machine translation > Natürliche Sprachen und maschinelle Übersetzung > Software Engineering > Konferenzschrift > Model Checking > Mathematische Logik > Softwarearchitektur
Online Zugang:Cover
Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
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
Beschreibung:104 Seiten
Illustrationen
ISBN:9783031275333
978-3-031-27533-3