scholarly journals Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems

2021 ◽  
Author(s):  
Tim Willemse ◽  
Thomas Neele
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Partial Order Reduction ◽  
Boolean Equation ◽  
Parity Games

scholarly journals Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems

2020 ◽  
pp. 307-324 ◽  
Author(s):  
Thomas Neele ◽  
Tim A. C. Willemse ◽  
Wieger Wesselink
Keyword(s):  
Fixed Point ◽  
Model Checking ◽  
Partial Order ◽  
Order Reduction ◽  
Partial Order Reduction ◽  
State Space Explosion ◽  
Boolean Equation ◽  
Parity Games ◽  
High Level ◽  
Established Technique

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.

Dynamic partial order reduction for relaxed memory models

2015 ◽  
Vol 50 (6) ◽  
pp. 250-259 ◽  
Author(s):  
Naling Zhang ◽  
Markus Kusano ◽  
Chao Wang
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Memory Models ◽  
Partial Order Reduction ◽  
Relaxed Memory

Partial-Order Reduction for Supervisory Controller Synthesis

2021 ◽  
pp. 1-1
Author(s):  
Bram Vandersanden ◽  
Marc Geilen ◽  
Michel Reniers ◽  
Twan Basten
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Controller Synthesis ◽  
Partial Order Reduction ◽  
Supervisory Controller
Sign in / Sign up

Export Citation Format

Share Document