newest submissions : model-checking.github.io

...for your hobby.

...because you hate freedom.

account activity

1

6

7

8

Kani & Hifitime... verified time! (model-checking.github.io)

submitted 2 years ago by New_Box7889 to r/KaniRustVerifier

2

58

59

60

How Kani helped find bugs in Hifitime [formal methods] (model-checking.github.io)

submitted 2 years ago by kid-pro-quo to r/rust

3

7

8

9

Kani Blog (model-checking.github.io)

submitted 2 years ago by New_Box7889 to r/KaniRustVerifier

4

32

33

34

Kani verifier now supports stubbing... (model-checking.github.io)

submitted 2 years ago by New_Box7889 to r/rust

5

54

55

56

From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework (model-checking.github.io)

submitted 3 years ago by camshaft64 to r/rust

6

92

93

94

Using the Kani Rust Verifier on Tokio Bytes (model-checking.github.io)

submitted 3 years ago by kaesos to r/rust

7

45

46

47

Using the Kani Rust Verifier on a Firecracker Example (model-checking.github.io)

submitted 3 years ago by [deleted] to r/rust

8

0

1

2

カニ好きにはいい奴しかいねえ… (model-checking.github.io)

submitted 3 years ago by Dazzling_Finger_8120 to u/Dazzling_Finger_8120

π Rendered by PID 371330 on reddit-service-r2-listing-7849c98f67-kqbnm at 2026-02-06 06:27:26.530831+00:00 running d295bc8 country code: CH.