Budget-bounded model-checking pushdown systems (Q479843): Difference between revisions

From MaRDI portal
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 01:24, 5 March 2024

scientific article
Language Label Description Also known as
English
Budget-bounded model-checking pushdown systems
scientific article

    Statements

    Budget-bounded model-checking pushdown systems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    5 December 2014
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    concurrent pushdown systems
    0 references
    verification problems
    0 references
    LTL-model-checking
    0 references
    reachability problem
    0 references
    recursive programs
    0 references
    0 references
    0 references