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
