Graph Transformation for Verification and Concurrency

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

    Research output: Book/ReportReportAcademic

    15 Downloads (Pure)

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

    Publication series

    NameCTIT Technical Report Series
    No.05-34
    ISSN (Print)1381-3625

    Keywords

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

    Cite this

    Heckel, R., König, B., & Rensink, A. (2005). Graph Transformation for Verification and Concurrency. (CTIT Technical Report Series; No. 05-34). Centre for Telematics and Information Technology (CTIT).