游戏libraryRust

verifast

Name: verifast
Rating: 5 (481 reviews)
Author: verifast

Research prototype tool for modular formal verification of C, Rust and Java programs

481 stars71 forks119 issuesNOASSERTION更新于 2026/4/21

暂无详细内容

同类推荐

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

Tesseract Open Source OCR Engine (main repository)

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.