Abstract
This paper presents SeBip, the first symbolic executor for component-based systems modelled in BIP (Be- haviour, Interaction and Priority). 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.
Details
Title
SeBip: a symbolic executor for BIP
Author(s)
Wang, Qiang ; Bliudze, Simon
Published in
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems
Pages
174--177
Conference
20th International Conference on Engineering of Complex Computer Systems, Gold Coast, Australia, 9-12 December, 2015
Date
2015
Publisher
IEEE Computer Society
ISBN
978-1-4673-8581-7
Keywords
Laboratories
RISD
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > RISD - Rigorous System Design Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date
2015-09-14