Enhancing partial-order reduction via process clustering

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Abstract

Partial-order reduction is a well-known technique to cope with the state-space-explosion problem in the verification of concurrent systems. Using the hierarchical structure of concurrent systems, we present an enhancement of the partial-order-reduction scheme of [12, 19]. A prototype of the new algorithm has been implemented on top of the verification tool SPIN. The first experimental results are encouraging.
Original languageEnglish
Title of host publicationProceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001, San Diego CA, USA, November 26-29, 2001)
Place of PublicationLos Alamitos, CA, USA
PublisherIEEE Computer Society
Pages245-253
ISBN (Print)0-7695-1426 X
Publication statusPublished - 2001
Eventconference; Ubt, Cibf, ASE 2001; 2001-11-27; 2001-11-30 -
Duration: 27 Nov 200130 Nov 2001

Conference

Conferenceconference; Ubt, Cibf, ASE 2001; 2001-11-27; 2001-11-30
Period27/11/0130/11/01
OtherUbt, Cibf, ASE 2001

Fingerprint

Dive into the research topics of 'Enhancing partial-order reduction via process clustering'. Together they form a unique fingerprint.

Cite this