Search results

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

Challenge 29: Safety of boxed

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Open.

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

· AlexLB99 opened on Jan 12, 2026

Challenge 28: Safety of float to decimal conversion module

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Open.

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

· AlexLB99 opened on Jan 12, 2026

Add Tool: Creusot

Tool ApplicationUsed to tag tool applicationUsed to tag tool application

Status: Open.

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

· Lysxia opened on Sep 16, 2025

kani::modifies causes an error that compiler_builtins cannot call functions through upstream monomorphizations

Status: Open.

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

· zjp-CN opened on Aug 21, 2025

Kani scanner fails to detect harnesses that are gated behind #[cfg(kani)]

Status: Open.

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

· zjp-CN opened on Aug 16, 2025

Add Tool: RAPx

Tool ApplicationUsed to tag tool applicationUsed to tag tool application

Status: Open.

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

· DiuDiu777 opened on Aug 5, 2025

Could Kani CI summary be simplified?

Status: Open.

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

· zjp-CN opened on Jul 7, 2025

How to integrate distributed-verification into verify-rust-std?

QuestionUse for any clarification or general question about the contestUse for any clarification or general question about the contest

Status: Open.

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

· zjp-CN opened on Jul 7, 2025

Challenge 27: Verify atomically reference-counted Cell implementation

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Open.

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

· AlexLB99 opened on Jun 6, 2025

Challenge 26: Verify reference-counted Cell implementation

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Open.

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

· AlexLB99 opened on Jun 6, 2025

Add Tool: KMIR by Runtime Verification

Tool ApplicationUsed to tag tool applicationUsed to tag tool application

Status: Open.

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

· gregorymakodzeba opened on Mar 24, 2025