← Explore by area

Cluster 635268

3 repos

C++ · 1

JavaScript · 1

Rust · 1

verification ·3,642

model-checking ·3,642

rust ·3,424

tlaplus ·218

formal-methods ·218

visualization ·218

formal-specification ·218

tla ·218

Related clusters

Cluster 63359527 Formal verification of cryptographic code22 Cluster 6362104 TLS/SSL and Cryptographic Libraries27 Cluster 6382253 Cluster 6365902

model-checking/kani

Kani Rust Verifier

Rust

3,424

2,418 commits

will62794/spectacle

Interactive playground for exploring and sharing TLA+ specifications in the browser.

JavaScript

218

1,494 commits

diffblue/cbmc

C Bounded Model Checker

C++

1,133

19,338 commits