An improvement in partial order reduction using behavioral analysis

Update item information
Publication Type pre-print
School or College College of Engineering
Department Electrical & Computer Engineering
Creator Myers, Chris J.
Other Author Zhang, Yingying; Rodriguez, Emmanuel; Zheng, Hao
Title An improvement in partial order reduction using behavioral analysis
Date 2012-01-01
Description Efficacy of partial order reduction in reducing state space relies on adequate extraction of the independence relation among possible behaviors. However, traditional approaches by statically analyzing system model structures are often not able to reveal enough independence for reduction. To address such a problem, this paper presents a behavioral analysis approach that uses a compositional reachability analysis method to generate the over-approximate local state spaces for all modules in a system where a much more precise independence relation can be extracted for partial order reduction. Compared to the static analysis approaches, significantly higher reduction on complexity can be seen in a number of non-trivial examples, and as a consequence, dramatically less time and memory are required to finish these examples.
Type Text
Publisher Institute of Electrical and Electronics Engineers (IEEE)
Volume 2012
First Page 100
Last Page 107
Dissertation Institution University of Utah
Language eng
Bibliographic Citation Zhang, Y., Rodriguez, E., Zheng, H., & Myers, C. (2012). An improvement in partial order reduction using behavioral analysis. Proceedings - 2012 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2012, 6296456, 100-7.
Rights Management (c) 2012 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Format Medium application/pdf
Format Extent 3,009,544 bytes
Identifier uspace,18025
ARK ark:/87278/s6x06rt1
Setname ir_uspace
Date Created 2012-11-13
Date Modified 2021-05-06
ID 708206
Reference URL https://collections.lib.utah.edu/ark:/87278/s6x06rt1
Back to Search Results