Abstract
Partial order reduction techniques have been introduced to avoid the problem of state space explosion arising in the verification of concurrent systems. The overall idea is to exploit only some of a large number of interleavings of concurrent transitions while retaining the possibility of checking certain properties. In this paper we investigate how much structure of a system has to be preserved for checking failures refinement. In contrast to previously proposed techniques we focus here on exploiting independencies between visible actions.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.