Rewriting Logic and Its Applications
Springer International Publishing (Verlag)
978-3-031-65940-9 (ISBN)
This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6-7, 2024.
The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.
.- Regular Papers.
.- Verifying Invariants by Deductive Model Checking.
.- Time-Bounded Resilience.
.- Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ.
.- Equivalence, and Property Internalization and Preservation for Equational Programs.
.- Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude.
.- Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic.
.- Timed Strategies for Real-Time Rewrite Theories.
.- Specifying Fairness Constraints and Model Checking with Non-intensional Strategies.
.- Tool Papers.
.- The hrewrite Library: a Term Rewriting Engine for Automatic Code Assembly.
.- A Flexible Framework for Integrating Maude and SMT Solvers Using Python.
.- Education Papers.
.- Teaching an Advanced Maude-based Formal Methods Course in Oslo.
Erscheinungsdatum | 03.08.2024 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | X, 209 p. 20 illus., 9 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Schlagworte | designing software • equational logic and rewriting • logic and verification • software functional properties • software system structures • Software Verification and Validation • system description languages • verification by model checking |
ISBN-10 | 3-031-65940-6 / 3031659406 |
ISBN-13 | 978-3-031-65940-9 / 9783031659409 |
Zustand | Neuware |
Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich