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
Author(s)
Date Issued
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
Subjects
Editorial or Peer reviewed
REVIEWED
Written at
EPFL
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