State space reduction using partial order techniques (Q1856177): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
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 04:56, 5 March 2024

scientific article
Language Label Description Also known as
English
State space reduction using partial order techniques
scientific article

    Statements

    State space reduction using partial order techniques (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1999
    0 references
    With the advancement of computer technology, highly concurrent systems are being developed. The verification of such systems is a challenging task, as their state space grows exponentially with the number of processes. Partial order reduction is an effective technique to address this problem. It relies on the observation that the effect of executing transitions concurrently is often independent of their ordering. In the paper we present the basic principles behind partial order reduction and its implementation.
    0 references
    state space reduction
    0 references
    partial order reduction
    0 references

    Identifiers