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."
Submitted to the 3rd World Congress on Formal Methods, FM 2019.

It contains the following material:

Lang-Mateescu-Mazzanti-19.pdf
   Paper with appendix. The appendix contains the proofs of lemmas and
   theorems as well as detailed experimental results for the TFTP
   example. It is not supposed to be published in the congress
   proceedings.

TFTP
    Models, properties, and verification scripts of the Trivial File
    Transfer Protocol illustrative example presented in Section 4.1 of
    the paper.

RERS
    Models, properties, and verification scripts of the Parallel Benchmark
    of the RERS 2018 Challenge illustrative example presented in Section
    4.2 of the paper.