Supplementary material for "Compositional Verification of Concurrent Systems by Combining Bisimulations"

This is a companion archive of the following paper: Frédéric Lang, Radu Mateescu, and Franco Mazzanti. "CompositionalVerification of Concurrent Systems by Combining Bisimulations."<br> Submitted to the 3rd World Congress on Formal Methods, FM 2019. It contains the following material: Lang-Mateescu-Mazzanti-19.pdf<br> Paper with appendix. The appendix contains the proofs of lemmas and<br> theorems as well as detailed experimental results for the TFTP<br> example. It is not supposed to be published in the congress<br> proceedings. TFTP<br> Models, properties, and verification scripts of the Trivial File<br> Transfer Protocol illustrative example presented in Section 4.1 of<br> the paper. RERS<br> Models, properties, and verification scripts of the Parallel Benchmark<br> of the RERS 2018 Challenge illustrative example presented in Section<br> 4.2 of the paper.