Explaining safety failures in NetKAT (Q2043810)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Explaining safety failures in NetKAT
scientific article

    Statements

    title
    Explaining safety failures in NetKAT (English)
    0 references
    author
    Georgiana Caltais
    0 references
    Hünkar Can Tunç
    0 references
    publication date
    3 August 2021
    0 references
    zbMATH Keywords
    software defined networks
    0 references
    NetKAT
    0 references
    safety
    0 references
    failure analysis
    0 references
    axiomatisations
    0 references
    Maude system
    0 references
    describes a project that uses
    AProVE
    0 references
    Maude
    0 references
    NetKAT
    0 references
    Frenetic
    0 references
    Nettle
    0 references

    Identifiers

    zbMATH DE Number
    7377678
    0 references
    OpenAlex ID
    W3156639476
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2043810&oldid=36703451"
    Powered by MediaWiki