Partial order reduction: Model-checking using representatives

Author(s):  
Doron Peled
Author(s):  
Thomas Neele ◽  
Tim A. C. Willemse ◽  
Wieger Wesselink

Abstract Partial-order reduction (POR) is a well-established technique to combat the problem of state-space explosion. We propose POR techniques that are sound for parity games, a well-established formalism for solving a variety of decision problems. As a consequence, we obtain the first POR method that is sound for model checking for the full modal $$\mu $$-calculus. Our technique is applied to, and implemented for the fixed point logic called parameterised Boolean equation systems, which provides a high-level representation of parity games. Experiments indicate that substantial reductions can be achieved.


2005 ◽  
Vol 40 (1) ◽  
pp. 110-121 ◽  
Author(s):  
Cormac Flanagan ◽  
Patrice Godefroid

2009 ◽  
Vol 47 (1) ◽  
pp. 33-66 ◽  
Author(s):  
Mohammad Mahdi Jaghoori ◽  
Marjan Sirjani ◽  
Mohammad Reza Mousavi ◽  
Ehsan Khamespanah ◽  
Ali Movaghar

Sign in / Sign up

Export Citation Format

Share Document