@inproceedings{99d1d661847e46908e574864d0fb5a2d,
title = "Verification of component-based systems via predicate abstraction and simultaneous set reduction",
abstract = "This paper presents a novel safety property verification approach for component-based systems modelled in BIP (Behaviour, Interaction and Priority), encompassing multiparty synchronisation with data transfer and priority. Our contributions consist of: (1) an on-the-fly lazy predicate abstraction technique for BIP; (2) a novel explicit state reduction technique, called simultaneous set reduction, that can be combined with lazy predicate abstraction to prune the search space of abstract reachability analysis; (3) a prototype tool implementing all the proposed techniques. We also conduct thorough experimental evaluation, which demonstrates the effectiveness of our proposed approach.",
author = "Wang Qiang and Simon Bliudze",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 10th International Symposium on Trustworthy Global Computing, TGC 2015 ; Conference date: 31-08-2015 Through 01-09-2015",
year = "2016",
month = jan,
day = "1",
doi = "10.1007/978-3-319-28766-9\_10",
language = "English",
isbn = "9783319287652",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "147--162",
editor = "Pierre Ganty and Michele Loreti",
booktitle = "Trustworthy Global Computing - 10th International Symposium, TGC 2015, Revised Selected Papers",
}