Skip to search formSkip to main contentSkip to account menu

Partial order reduction

Known as: Reduction 
In computer science, partial order reduction is a technique for reducing the size of the state-space to be searched by a model checking algorithm. It… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
AlgorithmComputer Aided VerificationComputer scienceGlossary of artificial intelligence

Broader (1)

Model checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Using a DSL and fine-grained model : transformations to explore the boundaries of model verification
Traditionally, the state-space explosion problem in model checking is handled by applying abstractions and simplifications to the… 
2010
2010
Parallel Partial Order Reduction with Topological Sort Proviso
Partial order reduction and distributed-memory processing are the two essential techniques to fight the well-known state space… 
2007
2007
MMC: the Mono Model Checker
2004
2004
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on the generation of abstract models from source code, which may greatly… 
2003
2003
Symbolic Model Checking of Software
2002
2002
Partial Order Reduction Assisted Parallel Model-Checking
Partial order reduction helps improve the performance of a (sequential) model-checker by eliminating the interleaving of… 
2001
2001
Relaxed Visibility Enhances Partial Order Reduction
State-space explosion is a central problem in the automatic verification (model-checking) of concurrent systems. Partial order… 
1999
1999
Partial order reduction for verification of timed systems
This dissertation presents solutions for the application of partial order methods to the verification of timed systems, with the… 
1999
1999
Partial Order Reductions Preserving Simulations
The "state explosion problem" can be alleviated by using partial order reduction techniques. These methods rely on expanding only… 
1998
1998
A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract)
The purpose of partial-order reduction techniques is to avoid exploring several interleavings of independent transitions when… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)