Rewriting Logic and Its Applications 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /
This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022. The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They fo...
Saved in:
Other Authors / Creators: | Bae, Kyungmin. editor. |
---|---|
Other Corporate Authors / Creators: | SpringerLink (Online service) |
Format: | Electronic eBook |
Language: | English |
Edition: | 1st ed. 2022. |
Imprint: | Cham : Springer International Publishing : Imprint: Springer, 2022. |
Series: | Lecture Notes in Computer Science,
13252 |
Subjects: | |
Online Access: | Available in Springer Computer Science eBooks 2022 English/International. |
Table of Contents:
- Invited Papers
- From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes
- Rewriting Privacy
- Invited Tutorials and Experience Report
- Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method
- An Overview of the Maude Strategy Language and its Applications
- Teaching Formal Methods to Undergraduate Students Using Maude
- Regular Papers
- Business Processes Analysis with Resource-aware Machine Learning Scheduling in Rewriting Logic
- Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude
- An Efficient Canonical Narrowing Implementation for Protocol Analysis
- Checking Sufficient Completeness by Inductive Theorem Proving
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
- Automating Safety Proofs about Cyber-Physical Systems using Rewriting Modulo SMT
- Executable Semantics and Type Checking for Session-Based Concurrency in Maude
- Tool Papers
- Parallel Maude-NPA for Cryptographic Protocol Analysis
- Maude as a Library: An Efficient All-Purpose Programming Interface.