Custom cover image
Custom cover image

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

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 13962Publisher: Cham : Springer Nature Switzerland, 2023Publisher: Cham : Imprint: Springer, 2023Edition: 1st ed. 2023Description: 1 Online-Ressource(IX, 105 p. 69 illus., 20 illus. in color.)ISBN:
  • 9783031275340
Subject(s): Additional physical formats: 9783031275333 | 9783031275357 | Erscheint auch als: 9783031275333 Druck-Ausgabe | Erscheint auch als: 9783031275357 Druck-AusgabeDOI: DOI: 10.1007/978-3-031-27534-0Online resources: Summary: 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.Summary: 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
No physical items for this record
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT