TY - JOUR
T1 - State space reduction using partial order techniques
AU - Clarke, E. M.
AU - Grumberg, O.
AU - Minea, M.
AU - Peled, D.
PY - 1999
Y1 - 1999
N2 - 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 this paper we present the basic principles behind partial order reduction and its implementation.
AB - 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 this paper we present the basic principles behind partial order reduction and its implementation.
KW - Partial order reduction
KW - State space reduction
UR - http://www.scopus.com/inward/record.url?scp=84896693796&partnerID=8YFLogxK
U2 - 10.1007/s100090050035
DO - 10.1007/s100090050035
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84896693796
SN - 1433-2779
VL - 2
SP - 279
EP - 287
JO - International Journal on Software Tools for Technology Transfer
JF - International Journal on Software Tools for Technology Transfer
IS - 3
ER -