stale · 1.0

Formal Verification

Score 10.2 / 100 2 providers 3 APIs Search apis.io →

Providers using this tag (2)

Lean TLA Plus Foundation

APIs with this tag (3)

Lean lean TLAPS Proof System tla-plus-foundation TLC Model Checker tla-plus-foundation

Score breakdown

Frequency
20.8
log-scaled weighted occurrences
Breadth
0.2
spread across providers
Quality lift
24.7
mean composite of providers using it
Cohesion
0.0
strength of nearest seed neighbor

Where this tag comes from

Provider tag1
Api tag3