What is taco-acs-model-checker?
taco-acs-model-checker is a crates that Model Checker constructing an abstract counter system to verify threshold automata. This model checker is part of the TACO toolsuite.. It has a Nerq Trust Score of 48/100 (D). 0 GitHub stars. Published by Unknown. Last analyzed September 2026.
Why This Score
- ⚠️ Security: 0/100 — Some security concerns
- ⚠️ Maintenance: 0/100 — Maintenance activity is low
- ⚠️ Community: 0 stars, 0 downloads — Growing community
- ⚠️ Transparency: License: Not specified — No license specified
Trust & Safety Overview
What taco-acs-model-checker Does
taco-acs-model-checker is a crates in the crates category. Model Checker constructing an abstract counter system to verify threshold automata. This model checker is part of the TACO toolsuite.. It is published by Unknown and has no specified license. With 0 GitHub stars and 0 downloads, it has a small community of users and contributors.
Who Should Use taco-acs-model-checker
taco-acs-model-checker is recommended only for experimental use. Consider alternatives with higher trust scores for production systems.
Details
| Author | Unknown |
|---|---|
| Category | crates |
| License | Not specified |
| Type | crates |
| Source | View on GitHub |
| Security Score | 0/100 |
| Activity Score | 0/100 |
How to Get Started
Check the trust score before installing:
curl nerq.ai/v1/preflight?target=taco-acs-model-checker
Setup guide · Full safety report · Production review · Is it safe?
Frequently Asked Questions
Last updated September 2026. Trust scores based on automated analysis of public data.