Is Taco Acs Model Checker Safe?

Taco Acs Model Checker — Nerq Trust Score 48.2/100 (D grade). Score based on 2 independent trust signals. Last analyzed: 2026-03-25

Taco Acs Model Checker is a Rust crate with a Nerq Trust Score of 48.2/100 (D), based on 3 independent data dimensions. Last analyzed: 2026-03-25 Security: 90/100. Popularity: 0/100. Data sourced from crates.io registry, GitHub, NVD, and RustSec advisory database. Last updated: 2026-03-25. Machine-readable data (JSON).

Safety Guide: Taco Acs Model Checker

What is Taco Acs Model Checker?

Taco Acs Model Checker is a Rust crate — Model Checker constructing an abstract counter system to verify threshold automata. This model checker is part of the TACO toolsuite..

How to Verify Safety

Run cargo audit. Review on crates.io for activity.

You can also check the trust score via API: GET /v1/preflight?target=taco-acs-model-checker

Key Safety Concerns for Rust crate

When evaluating any Rust crate, watch for: dependency vulnerabilities, unsafe code, maintenance status.

Measured Signals

Taco Acs Model Checker has a Nerq Trust Score of 48/100 (D). This score is a composite of automated measurements of security, maintenance, community, and quality signals.

Key Takeaways

• Taco Acs Model Checker has a Trust Score of 48/100 (D).
• The score is a measured composite — it is not a suitability judgment. Evaluate the individual signals against your own requirements.
• Query the current measured values via the Nerq API.

Disclaimer: Nerq trust scores are automated measurements based on publicly available signals. They are not endorsements, verdicts, or guarantees of suitability. Always evaluate the signals against your own requirements.