Search results

Challenge 13: Verify safety of CStr

Status: Open (in progress).

model-checking/verify-rust-stdnumber 566

#566 In model-checking/verify-rust-std;

· Samuelsills opened on Mar 24, 2026

Challenge 12: Verify safety of NonZero

Status: Open (in progress).

model-checking/verify-rust-stdnumber 565

#565 In model-checking/verify-rust-std;

· Samuelsills opened on Mar 24, 2026

Challenge 25: Verify safety of VecDeque

Status: Open (in progress).

model-checking/verify-rust-stdnumber 564

#564 In model-checking/verify-rust-std;

· Samuelsills opened on Mar 24, 2026

Verify safety of Vec IntoIter functions with VeriFast (Challenge 24)

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Draft (not ready).

model-checking/verify-rust-stdnumber 562

#562 In model-checking/verify-rust-std;

· jrey8343 opened on Mar 15, 2026

Verify safety of Vec functions with VeriFast (Challenge 23)

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Draft (not ready).

model-checking/verify-rust-stdnumber 561

#561 In model-checking/verify-rust-std;

· jrey8343 opened on Mar 15, 2026

Verify safety of slice iterator functions with Kani (Challenge 18)

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Draft (not ready).

model-checking/verify-rust-stdnumber 560

#560 In model-checking/verify-rust-std;

· jrey8343 opened on Mar 15, 2026

Verify safety of slice functions with VeriFast + Kani (Challenge 17)

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Draft (not ready).

model-checking/verify-rust-stdnumber 559

#559 In model-checking/verify-rust-std;

· jrey8343 opened on Mar 15, 2026

Verify memory safety of String functions (Challenge 10)

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Open (in progress).

model-checking/verify-rust-stdnumber 558

#558 In model-checking/verify-rust-std;

· jrey8343 opened on Mar 15, 2026

Verify safety of str iter functions (Challenge 22)

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Open (in progress).

model-checking/verify-rust-stdnumber 557

#557 In model-checking/verify-rust-std;

· jrey8343 opened on Mar 15, 2026

Add Tool: Verus

Tool ApplicationUsed to tag tool applicationUsed to tag tool application

Status: Open.

#554 In model-checking/verify-rust-std;

· elanortang opened on Mar 3, 2026

Verify safety of iterator adapter functions (Challenge 16)

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Open (in progress).

model-checking/verify-rust-stdnumber 549

#549 In model-checking/verify-rust-std;

· kasimte opened on Feb 19, 2026

Verify safety of NonZero operations (Challenge 12)

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Open (in progress).

model-checking/verify-rust-stdnumber 544

#544 In model-checking/verify-rust-std;

· jrey8343 opened on Feb 8, 2026