State space reduction using partial order techniques
type: Item
instance of: scholarly article
title: State space reduction using partial order techniques
zbMATH Open document ID: 1065.68506
author: M. Minea
author: Edmund Clarke
author: Orna Grumberg
author: Doron Peled
published in: International Journal on Software Tools for Technology Transfer. STTT
publication date: 1999-01-01T00:00:00Z
review text: 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 the paper we present the basic principles behind partial order reduction and its implementation.
Mathematics Subject Classification ID: 68M99
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1862285
zbMATH Keywords: state space reduction
zbMATH Keywords: partial order reduction
MaRDI profile type: Publication
full work available at URL: s100090050035
OpenAlex ID: W1999288406
DOI: 10.1007/S100090050035
description: scientific article; zbMATH DE number 1862285