Structural Invariants for the Verification of Systems with Parameterized Architectures
Bozga, Marius, Javier Esparza, Iosif, Radu, Joseph Sifakis, Welzel, Christoph · arXiv (Cornell University) · 2020
Tool ostrich: Implementation of the ideas described in "Structural Invariants for the Verification of Systems with Parameterized Architectures" to be published in the proceedings of TACAS'20. Tested on the virtual machine of the TACAS'20 Tool Evaluation Track [1] for which also the containing README describes installation and execution steps. Current versions are maintained under https://gitlab.lrz.de/i7/ostrich [1]: Hartmanns, A., Seidl, M.: tacas20ae.ova. Figshare (2019), https://doi.org/10.6084/m9.figshare.9699839.v2