Formal Methods: Foundations and Applications
Springer International Publishing (Verlag)
9783031493416 (ISBN)
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.
Specification and Modeling Languages.- A Formal Model for Startups Financial Transactions.- A Haskell-embedded DSL for Secure Information-flow.- CSP Specification and Verification of a Relay-Based Rail Interlocking System.- ULKB Logic: A HOL-based framework for reasoning over knowledge graphs.- Testing.- Language-based Testing for Pushdown Reactive Systems.- Sound Test Case Generation for Concurrent Mobile Features.- Verification and Validation.- Automated code generation for DES controllers modeled as Finite State Machines.- AutomaTutor: An Educational Mobile App for Teaching Automata Theory.- ESBMC v7.3: Model Checking C++ Programs using Clang.
| Erscheinungsdatum | 02.12.2023 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XXII, 153 p. 39 illus., 17 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 278 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Schlagworte | diagrammatic languages • formal methods • Formal Verification • Fuzzy Systems • Model Checking • Refactoring • refinement theory • Relational Mathematics • separation logic • software evolution • Software Product Lines • theorem proving |
| ISBN-13 | 9783031493416 / 9783031493416 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
