Graph Transformation for Verification and Concurrency

Heckel, R. and König, B. and Rensink, A. (2005) Graph Transformation for Verification and Concurrency. [Report]

Preview

PDF
1845Kb

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.
Item Type:	Report
Copyright:	©2005 CTIT
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/54794
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Repository Staff Only: item control page

Metis ID: 229283