@inproceedings{18a6d20013aa4e72b9d92ab8dc0d0630,
title = "Reduction and abstraction techniques for BIP",
abstract = "Reduction and abstraction techniques have been proposed to address the state space explosion problem in verification. In this paper, we present reduction and abstraction techniques for component-based systems modeled in BIP (Behavior, Interaction and Priority). Given a BIP system consisting of several atomic components, we select two atomic components amenable for reduction and compute their product. The resulting product component typically contains constants and branching bisimilar states. We use constant propagation to reduce the resulting component. Then we use a branching bisimulation abstraction to compute an abstraction of the product component. The presented method is fully implemented and scales to large designs not possible to verify with existing techniques.",
author = "Mohamad Noureddine and Mohamad Jaber and Simon Bliudze and Zaraket, \{Fadi A.\}",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 11th International Symposium on Formal Aspects of Component Software, FACS 2014 ; Conference date: 10-09-2014 Through 12-09-2014",
year = "2015",
month = jan,
day = "1",
doi = "10.1007/978-3-319-15317-9\_18",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "288--305",
editor = "Ivan Lanese and Eric Madelaine and Ivan Lanese",
booktitle = "Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Revised Selected Papers",
}