Enhancing partial-order reduction via process clustering

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001, San Diego CA, USA, November 26-29, 2001)
Plaats van productieLos Alamitos, CA, USA
UitgeverijIEEE Computer Society
Pagina's245-253
ISBN van geprinte versie0-7695-1426 X
StatusGepubliceerd - 2001
Evenementconference; Ubt, Cibf, ASE 2001; 2001-11-27; 2001-11-30 -
Duur: 27 nov 200130 nov 2001

Congres

Congresconference; Ubt, Cibf, ASE 2001; 2001-11-27; 2001-11-30
Periode27/11/0130/11/01
AnderUbt, Cibf, ASE 2001

Vingerafdruk

Duik in de onderzoeksthema's van 'Enhancing partial-order reduction via process clustering'. Samen vormen ze een unieke vingerafdruk.

Citeer dit