SeBip: a symbolic executor for BIP

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.


Published in:
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 174--177
Presented at:
20th International Conference on Engineering of Complex Computer Systems, Gold Coast, Australia, 9-12 December, 2015
Year:
2015
Publisher:
IEEE Computer Society
ISBN:
978-1-4673-8581-7
Keywords:
Laboratories:




 Record created 2015-09-14, last modified 2018-01-28


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)