Published February 20, 2020
| Version v3
Software
Restricted
ostrich
- 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.
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
Files
Restricted
The record is publicly accessible, but files are restricted to users with access.
Additional details
Related works
- Is documented by
- Preprint: arXiv:2002.07672 (arXiv)