Rewriting Logic and Its Applications 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers / edited by Kyungmin Bae.

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...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bae, Kyungmin (Editor)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2022.
Edition:1st ed. 2022.
Series:Lecture notes in computer science ; 13252.
Subjects:
Computer science.
Software engineering.
Machine theory.
Computer engineering.
Computer networks.
Computer science—Mathematics.
Discrete mathematics.
Online Access: Full text (Wentworth users only)
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.

Similar Items