Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro

Mitwirkende(r):

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Computer Science ; 13962Verlag: Cham : Springer Nature Switzerland, 2023Verlag: Cham : Imprint: Springer, 2023Auflage: 1st ed. 2023Beschreibung: 1 Online-Ressource(IX, 105 p. 69 illus., 20 illus. in color.)ISBN:

9783031275340

Schlagwörter:

Andere physische Formen: 9783031275333 | 9783031275357 | Erscheint auch als: 9783031275333 Druck-Ausgabe | Erscheint auch als: 9783031275357 Druck-AusgabeDOI: DOI: 10.1007/978-3-031-27534-0Online-Ressourcen:

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.Zusammenfassung: 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.PPN: PPN: 1837693188Package identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-LNC

Exemplare ( 0 )

Dieser Titel hat keine Exemplare