Graph Transformation for Verification and Concurrency

R. Heckel, B. König, Arend Rensink

    Research output: Book/ReportReportAcademic

    51 Downloads (Pure)


    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.
    Original languageUndefined
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages114
    Publication statusPublished - Jul 2005

    Publication series

    NameCTIT Technical Report Series
    ISSN (Print)1381-3625


    • IR-54794
    • Graph Transformation
    • Verification
    • EWI-1441
    • METIS-229283
    • Concurrency Theory

    Cite this