stale · 0.0 personaschema

Formal Verification

Score 10.7 / 100 10 providers 4 APIs Search apis.io →

Providers using this tag (10)

AdaCore Atalanta Bedrock Systems Cajal Technologies Certora Harmonic Imandra Lean Sec3 TLA Plus Foundation

APIs with this tag (4)

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

Score breakdown

Frequency
27.0
log-scaled weighted occurrences
Breadth
0.1
spread across providers
Quality lift
18.9
mean composite of providers using it
Cohesion
0.7
strength of nearest seed neighbor

Related tags

Developer Tools 5 co-occurrences Company 8 co-occurrences

Where this tag comes from

Provider tag9
Api tag4