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

• Pubblicazione: Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
• Edizione: 1st ed. 2023.
• Descrizione fisica: 1 online resource (IX, 105 p. 69 illus., 20 illus. in color.)
• Disciplina: 511.3
• Soggetto topico: Mathematical logic; Logic programming; Natural language processing (Computer science); Social sciences—Data processing; Software engineering; Microprogramming; Mathematical Logic and Foundations; Logic in AI; Natural Language Processing (NLP); Computer Application in Social and Behavioral Sciences; Software Engineering; Control Structures and Microprogramming
• Persona (resp. second.): DuboisCatherine; San PietroPierluigi
• Nota di contenuto: 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.
• Sommario/riassunto: 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.
• Titolo autorizzato: Formal Methods Teaching
• ISBN: 3-031-27534-9
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996511868803316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 1611-3349 ; ; 13962