Supplementary material for "Compositional Verification of Concurrent Systems by Combining Bisimulations"
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/2634148
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2024-07-24
