游戏libraryRust

kani

Name: kani
Rating: 5 (3046 reviews)
Author: model-checking

Kani Rust Verifier

3,046 stars143 forks473 issuesApache-2.0更新于 2026/4/22

model-checkingrustverification

暂无详细内容

同类推荐

A complete computer science study plan to become a software engineer.

A list of Free Software network services and web applications which can be hosted on your own servers

Easy to maintain open source documentation websites.

A collection of learning resources for curious software engineers

A curated list of awesome frameworks, libraries and software for the Java programming language.

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.