Search: github.com/model-checking | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Kani: A bit-precise model checker for Rust (github.com/model-checking)

1 point

2 years ago

2.

P: A language for asynchronous event-driven programming and model checking (github.com/p-org)

5 points

6 years ago

3.

User Guide to Model Checking for Industrial Programmers with TLA+ (github.com/gshanemiller)

1 point

9 days ago

4.

Show HN: FizzBee – Formal methods in Python (fizzbee.io)

119 points

2 years ago

5.

Aura-State: Formally Verified LLM State Machine Compiler

23 points

3 months ago

6.

Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover (github.com/tsvibt)

3 points

3 years ago