Model checking LTL with regular valuations for pushdown systems (Q1887158)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model checking LTL with regular valuations for pushdown systems
scientific article

    Statements

    Model checking LTL with regular valuations for pushdown systems (English)
    0 references
    0 references
    0 references
    0 references
    23 November 2004
    0 references
    Model checking
    0 references
    Linear-time logic
    0 references
    Pushdown automata
    0 references

    Identifiers