SeBip: A Symbolic Executor for BIP

This paper presents SeBip, the first symbolic executor for component-based systems modeled in BIP. To tackle the path explosion problem, SeBip combines partial order reduction technique to reduce the number of interactions to be explored during executing the system symbolically. An experimental evaluation has been carried out to demonstrate the scalability of SeBip on detecting bugs.