Enhancing Partial-Order Reduction via Process Clustering

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Twan Basten Articles by Dragan Bosnacki

16th IEEE International Conference on Automated Software Engineering (ASE'01)

San Diego, California

November 26-November 29

ISBN: 0-7695-1426-X

	ASCII Text	x
	Twan Basten, Dragan Bosnacki, "Enhancing Partial-Order Reduction via Process Clustering," Automated Software Engineering, International Conference on, pp. 245, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001.

	BibTex	x
	@article{ 10.1109/ASE.2001.989810, author = {Twan Basten and Dragan Bosnacki}, title = {Enhancing Partial-Order Reduction via Process Clustering}, journal ={Automated Software Engineering, International Conference on}, volume = {0}, year = {2001}, isbn = {0-7695-1426-X}, pages = {245}, doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989810}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Automated Software Engineering, International Conference on TI - Enhancing Partial-Order Reduction via Process Clustering SN - 0-7695-1426-X SP EP A1 - Twan Basten, A1 - Dragan Bosnacki, PY - 2001 KW - concurrency KW - state explosion KW - formal verification KW - partial-order reduction KW - (LTL) model checking KW - SPIN VL - 0 JA - Automated Software Engineering, International Conference on ER -

Twan Basten, Eindhoven University of Technology

Dragan Bosnacki, Eindhoven University of Technology

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989810

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.

Index Terms:

concurrency, state explosion, formal verification, partial-order reduction, (LTL) model checking, SPIN

Citation:

Twan Basten, Dragan Bosnacki, "Enhancing Partial-Order Reduction via Process Clustering," ase, pp.245, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.