Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Title
Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro.
ISBN
9783031275340 (electronic bk.)
3031275349 (electronic bk.)
9783031275333
Published
Cham : Springer, 2023.
Language
English
Description
1 online resource (ix, 105 pages) : illustrations (some color).
Item Number
10.1007/978-3-031-27534-0 doi
Call Number
QA76.9.F67 F67 2023eb
Dewey Decimal Classification
004.1/51
Summary
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lubeck, 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.
Access Note
Access limited to authorized users.
Source of Description
Publisher supplied information.
Series
Lecture notes in computer science ; 13962. 1611-3349
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.