echovalidum 0.3.2
The echo, validated — a Python library for lattice-based memory with kernel-checked attestations for the Sabelfeld-Sands four-channel iteration-count NI model. Source-available under PolyForm Noncommercial; paid commercial license available.
Sources
- T1echovalidum 0.3.2PyPI / crates.io / RubyGems / Go index / NuGet