Bearbmagovva

Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /

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 worldw...

Olles dieđut

Furkejuvvon:
Bibliográfalaš dieđut
Searvvušdahkki: SpringerLink (Online service)
Eará dahkkit: Dubois, Catherine (Doaimmaheaddji), San Pietro, Pierluigi (Doaimmaheaddji)
Materiálatiipa: Elektrovnnalaš E-girji
Giella:eaŋgalasgiella
Almmustuhtton: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Preanttus:1st ed. 2023.
Ráidu:Lecture Notes in Computer Science, 13962
Fáttát:
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.
Liŋkkat:https://doi.org/10.1007/978-3-031-27534-0
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
Sisdoallologahallan:
  • 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.

Geahča maid