Symbolic Model Checking for Alternating Projection Temporal Logic (Q3467865)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Symbolic Model Checking for Alternating Projection Temporal Logic
scientific article

    Statements

    Symbolic Model Checking for Alternating Projection Temporal Logic (English)
    0 references
    0 references
    0 references
    0 references
    5 February 2016
    0 references
    0 references
    alternating projection temporal logic
    0 references
    interpreted system
    0 references
    symbolic model checking
    0 references
    OBDD
    0 references
    verification
    0 references
    0 references
    0 references
    0 references