University of Twente, Centre for Telematica and Information Technology (CTIT)
Abstract
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