Deciding safety and liveness in TPTL (Q402360)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deciding safety and liveness in TPTL
scientific article

    Statements

    Deciding safety and liveness in TPTL (English)
    0 references
    0 references
    0 references
    0 references
    28 August 2014
    0 references
    formal methods
    0 references
    real-time systems
    0 references
    temporal logic
    0 references
    safety and liveness
    0 references
    verification
    0 references
    computational complexity
    0 references

    Identifiers