maw-assurance
v0.61.0crates.io· RustFormal-verification primitives for maw — oracle, model, and Stateright integration
The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
10 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
- 0.61.0this month
- 0.60.9this month
- 0.60.8this month
- 0.60.5this month
- 0.60.4this month
- 0.60.31 month ago
- 0.60.21 month ago
- 0.60.11 month ago