Search results

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

<code>kani::modifies</code> 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 <code>#[cfg(kani)]</code>

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?

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

Challenge 25: Verify the safety of <code>VecDeque</code> functions

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Open.

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

· thanhnguyen-aws opened on Mar 18, 2025

Challenge 24: Verify the safety of <code>Vec</code> functions part 2

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Open.

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

· thanhnguyen-aws opened on Mar 18, 2025

Challenge 23: Verify the safety of <code>Vec</code> functions part 1

ChallengeUsed to tag a challengeUsed to tag a challenge

Status: Open.

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

· thanhnguyen-aws opened on Mar 18, 2025