Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
by
Dubois, Catherine. editor.
Title
:
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Author
:
Dubois, Catherine. editor.
ISBN
:
9783031275340
Edition
:
1st ed. 2023.
Physical Description
:
IX, 105 p. 69 illus., 20 illus. in color. online resource.
Series
:
Lecture Notes in Computer Science, 13962
Contents
:
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.
Added Author
:
Dubois, Catherine.
San Pietro, Pierluigi.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 520888-1001 | ONLINE | | Elektronik Kütüphane |