Deciding safety and liveness in TPTL (Q402360)

From MaRDI portal
Revision as of 03:29, 30 January 2024 by Import240129110155 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Deciding safety and liveness in TPTL
scientific article

    Statements

    title
    Deciding safety and liveness in TPTL (English)
    0 references
    author
    David A. Basin
    0 references
    Felix Klaedtke
    0 references
    Eugen Zălinescu
    0 references
    publication date
    28 August 2014
    0 references
    zbMATH Keywords
    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

    Mathematics Subject Classification ID
    68Q25
    0 references
    03B44
    0 references
    68Q60
    0 references
    zbMATH DE Number
    6335095
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q402360&oldid=12274171"
    Powered by MediaWiki