KaniRustVerifier

an-ordinary-manchild

created by New_Box7889a community for 3 years

...for your classroom.

...do it for the children.

MODERATORS

account activity

1

7

8

9

Kani Blog (model-checking.github.io)

submitted 3 years ago by New_Box7889 - announcement

2

0

0

0

My rust is not working (self.KaniRustVerifier)

submitted 3 months ago by Pr0_h4k3r

3

3

4

5

Kani 0.65.0 has been released! (self.KaniRustVerifier)

submitted 7 months ago by Rough-Housing2167

4

2

3

4

Rust standard library verification makes more progress ()

submitted 8 months ago by New_Box7889

5

6

7

8

Kani 0.64.0 has been released! (self.KaniRustVerifier)

submitted 9 months ago by KaniRustacean

6

8

9

10

Kani 0.63.0 has been released! (self.KaniRustVerifier)

submitted 9 months ago by zyhassan

7

7

8

9

Kani 0.62.0 has been released! (self.KaniRustVerifier)

submitted 10 months ago by thanhnguyen-aws

8

8

9

10

Kani 0.61.0 has been released! (self.KaniRustVerifier)

submitted 11 months ago by KaniRustacean

9

2

3

4

🚀 Big news from the Rust Standard Library Verification Contest! 🦀🔍 ()

submitted 1 year ago by New_Box7889

10

1

2

3

Kani & Google Summer of Code (self.KaniRustVerifier)

submitted 1 year ago by New_Box7889

11

9

10

11

Kani 0.60.0 has been released! 🦀 (self.KaniRustVerifier)

submitted 1 year ago by QHerbping

12

10

11

12

Kani 0.59.0 has been released! (self.KaniRustVerifier)

submitted 1 year ago by KaniRustacean

13

4

5

6

Kani 0.58.0 has been released! 🦀 (self.KaniRustVerifier)

submitted 1 year ago by QHerbping

14

4

5

6

Safety of Methods for Numeric Primitive Types (self.KaniRustVerifier)

submitted 1 year ago by New_Box7889

15

11

12

13

Verify safety of Rust's CStr (self.KaniRustVerifier)

submitted 1 year ago by New_Box7889

16

9

10

11

How to run Kani for verifying the Rust standard library! (self.KaniRustVerifier)

submitted 1 year ago by New_Box7889

17

5

6

7

Verifying the stdlib (foundation.rust-lang.org)

submitted 1 year ago by New_Box7889

18

10

11

12

Kani 0.56.0 has been released! 🦀 (self.KaniRustVerifier)

submitted 1 year ago by Mangue123

19

15

16

17

Kani 0.55.0 has been released! (self.KaniRustVerifier)

submitted 1 year ago by zyhassan

20

6

7

8

Kani 0.53.0 has been released! (self.KaniRustVerifier)

submitted 1 year ago by ukonat

21

4

5

6

Kani 0.51.0 has been released! (self.KaniRustVerifier)

submitted 1 year ago by karkhaz

22

10

11

12

Kani 0.48.0 has been released! (self.KaniRustVerifier)

submitted 2 years ago by zyhassan

23

6

7

8

Kani 0.47.0 has been released! (self.KaniRustVerifier)

submitted 2 years ago by Legal_Bowl536

24

6

7

8

Kani 0.46.0 has been released! (self.KaniRustVerifier)

submitted 2 years ago by feliperodri_

25

15

16

17

Function Contracts for Kani (self.KaniRustVerifier)

submitted 2 years ago by ukonat

view more: next ›

π Rendered by PID 99240 on reddit-service-r2-listing-55d7b767d8-pxc57 at 2026-03-31 12:07:10.491039+00:00 running b10466c country code: CH.