Quantitative static analysis of communication protocols using abstract Markov chains (Q2322314)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quantitative static analysis of communication protocols using abstract Markov chains
scientific article

    Statements

    Quantitative static analysis of communication protocols using abstract Markov chains (English)
    0 references
    0 references
    0 references
    4 September 2019
    0 references
    static analysis
    0 references
    abstract interpretation
    0 references
    probabilistic programs
    0 references
    quantitative analysis
    0 references
    Markov chains
    0 references
    performance analysis
    0 references
    communication protocols
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers