Loading...
conference paper
SeBip: a symbolic executor for BIP
2015
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems
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.
Type
conference paper
Authors
Publication date
2015
Publisher
Published in
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems
ISBN of the book
978-1-4673-8581-7
Start page
174
Peer reviewed
REVIEWED
EPFL units
Event name | Event place | Event date |
Gold Coast, Australia | 9-12 December, 2015 | |
Available on Infoscience
September 14, 2015
Use this identifier to reference this record