Enhancing Partial-Order Reduction via Process Clustering

San Diego, California November 26-November 29

DOI Bookmark:

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

16th IEEE International Conference on ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	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

	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

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.