Formal Methods: Foundations and Applications
Springer International Publishing (Verlag)
978-3-031-49341-6 (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-10 | 3-031-49341-9 / 3031493419 |
ISBN-13 | 978-3-031-49341-6 / 9783031493416 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich