Supplementary material for "Compositional Verification of Concurrent Systems by Combining Bisimulations"
DOI10.5281/zenodo.2634149Zenodo2634149MaRDI QIDQ6704285FDOQ6704285
Dataset published at Zenodo repository.
Franco Mazzanti, Frédéric Lang
Publication date: 9 April 2019
Copyright license: Creative Commons Attribution 4.0 International
This is a companion archive of the following paper: Frdric 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.
This page was built for dataset: Supplementary material for "Compositional Verification of Concurrent Systems by Combining Bisimulations"
