Model Checking TLR* Guarantee Formulas on Infinite Systems (Q5403070): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Created claim: Wikidata QID (P12): Q123905825, #quickstatements; #temporary_batch_1706515227281
Property / Wikidata QID
 
Property / Wikidata QID: Q123905825 / rank
 
Normal rank

Revision as of 09:14, 29 January 2024

scientific article; zbMATH DE number 6273794
Language Label Description Also known as
English
Model Checking TLR* Guarantee Formulas on Infinite Systems
scientific article; zbMATH DE number 6273794

    Statements

    Model Checking TLR* Guarantee Formulas on Infinite Systems (English)
    0 references
    0 references
    0 references
    0 references
    25 March 2014
    0 references
    infinite-state system
    0 references
    rewriting logic
    0 references
    Maude
    0 references
    model checking
    0 references
    strategy
    0 references
    temporal logic
    0 references
    TLR*
    0 references
    guarantee formula
    0 references
    cache coherence
    0 references

    Identifiers