Add to ORKGPartial-order reduction (POR) is a well-established technique to combat the problem of state-space explosion. Most approaches in literature focus on Kripke structures or labelled transition systems and preserve a form of stutter/weak trace equivalence or weak bisimulation. Therefore, they are at best applicable when checking weak modal mucalculus. We propose to apply POR on parity games, which can encode the combination of a transition system and a temporal property. Our technique allows one to apply POR in the setting of mu-calculus model checking. We show with an example that the reduction achieved on parity games can be significantly larger. Furthermore, we identify and repair an issue where stubborn sets do not preserve stutter equivale...
Parity games play a central role in model checking and satisfiability checking. Solving parity games...
Parity games play a central role in model checking and satisfiability checking. Solving parity games...
\u3cp\u3eParity games play a central role in model checking and satisfiability checking. Solving par...
In model checking, reduction techniques can be helpful tools to fight the state-space explosion prob...
In model checking, reduction techniques can be helpful tools to fight the state-space explosion prob...
In model checking, reduction techniques can be helpful tools to fight the state-space explosion prob...
Partial-order reduction (POR) is a well-established technique to combat the problem of state-space e...
In model checking, reduction techniques can be helpful tools to fight the state-space explosion prob...
Partial-order reduction (POR) is a well-established technique to combat the problem of state-space e...
Partial-order reduction (POR) is a well-established technique to combat the problem of state-space e...
Partial-order reduction (POR) is a well-established technique to combat the problem of state-space e...
Partial-order reduction (POR) is a well-established technique to combat the problem of state-space e...
Partial-order reduction (POR) is a well-established technique to combat the problem of state-space e...
In model checking, reduction techniques can be helpful tools to fight the state-space explosion prob...
In model checking, reduction techniques can be helpful tools to fight the state-space explosion prob...
Parity games play a central role in model checking and satisfiability checking. Solving parity games...
Parity games play a central role in model checking and satisfiability checking. Solving parity games...
\u3cp\u3eParity games play a central role in model checking and satisfiability checking. Solving par...
In model checking, reduction techniques can be helpful tools to fight the state-space explosion prob...
In model checking, reduction techniques can be helpful tools to fight the state-space explosion prob...
In model checking, reduction techniques can be helpful tools to fight the state-space explosion prob...
Partial-order reduction (POR) is a well-established technique to combat the problem of state-space e...
In model checking, reduction techniques can be helpful tools to fight the state-space explosion prob...
Partial-order reduction (POR) is a well-established technique to combat the problem of state-space e...
Partial-order reduction (POR) is a well-established technique to combat the problem of state-space e...
Partial-order reduction (POR) is a well-established technique to combat the problem of state-space e...
Partial-order reduction (POR) is a well-established technique to combat the problem of state-space e...
Partial-order reduction (POR) is a well-established technique to combat the problem of state-space e...
In model checking, reduction techniques can be helpful tools to fight the state-space explosion prob...
In model checking, reduction techniques can be helpful tools to fight the state-space explosion prob...
Parity games play a central role in model checking and satisfiability checking. Solving parity games...
Parity games play a central role in model checking and satisfiability checking. Solving parity games...
\u3cp\u3eParity games play a central role in model checking and satisfiability checking. Solving par...