Published February 20, 2020
| Version v1
Software
Restricted
ostrich
Authors/Creators
- 1. Technical University Munich
- 2. Université Grenoble Alpes, Verimag
Description
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.
[1]: Hartmanns, A., Seidl, M.: tacas20ae.ova. Figshare (2019), https://doi.org/10.6084/m9.figshare.9699839.v2
Files
Restricted
The record is publicly accessible, but files are restricted. <a href="https://zenodo.org/account/settings/login?next=https://zenodo.org/records/3676932">Log in</a> to check if you have access.
Additional details
Related works
- Is documented by
- Preprint: arXiv:2002.07672 (arXiv)