#Model-checking
Showing 4 of 4 repositories tagged #model-checking, ranked by stars
model-checking
kani
Kani Rust Verifier
Score
0
★ 3.2k
⑂ 152
+52/day
Rust
will62794
spectacle
Interactive playground for exploring and sharing TLA+ specifications in the browser.
Score
0
★ 209
⑂ 15
+1/day
JavaScript
tgoodwin
kamera
kamera is a simulation toolkit for observing, analyzing, and verifying the behavior of Kubernetes control planes.
Score
0
★ 82
⑂ 7
—
Go
robkorn
plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
Score
0
★ 33
⑂ 7
—
Haskell