Graph Transformation for Verification and Concurrency
Reiko Heckel, Barbara König, Arend Rensink · University of Twente Research Information · 2005
The talk will begin with a brief introduction to Rewriting Logic and use of the Maude language. A case study based on modeling security aspects a remote service toolkit will be used to illustrate the approach to formal modeling and analysis in more detail.