Formal verification of cP systems using PAT3 and ProB (Q1982961)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formal verification of cP systems using PAT3 and ProB
scientific article

    Statements

    Formal verification of cP systems using PAT3 and ProB (English)
    0 references
    0 references
    0 references
    0 references
    14 September 2021
    0 references
    formal verification
    0 references
    model checking
    0 references
    cP-systems
    0 references
    P-systems
    0 references
    subset sum problem
    0 references
    0 references
    0 references
    0 references

    Identifiers