formal-verification
Các kho mã nguồn mở đang theo dõi được gắn thẻ formal-verification, sắp xếp theo số sao.
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng formal-verification trên cùng một kho mã.
Mới nổi gần đây
Các kho mã tạo trong 90 ngày qua và được gắn thẻ formal-verification.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1★ 3.673+3Thay đổi số sao trong 7 ngày qua
- #2★ 1.836+0Thay đổi số sao trong 7 ngày qua
- #3★ 1.836+2Thay đổi số sao trong 7 ngày qua
- #4
Công cụ xác minh tĩnh cho Rust, dựa trên cơ sở hạ tầng xác minh Viper.
★ 1.809+2Thay đổi số sao trong 7 ngày qua - #5★ 1.190+2Thay đổi số sao trong 7 ngày qua
- #6
Công cụ kiểm tra hình thức dành cho Rust: kiểm tra 100% các trường hợp thực thi trong chương trình của bạn để tạo ra các ứng dụng an toàn hơn.
★ 1.161+0Thay đổi số sao trong 7 ngày qua - #7★ 948+19Thay đổi số sao trong 7 ngày qua
- #8
Một ngôn ngữ chứng minh phụ thuộc (dependently-typed) nhằm giúp các kỹ sư phần mềm có thể tạo ra mã bare metal chính xác.
★ 835+0Thay đổi số sao trong 7 ngày qua - #9
CreuSAT - Một bộ giải SAT được xác minh hình thức viết bằng Rust và được xác minh bằng Creusot.
★ 698+2Thay đổi số sao trong 7 ngày qua - #10
Tường lửa hậu quả cho các hành động của máy. EMILIA Gate xác minh quyền hạn chính xác trước khi thực hiện các thay đổi về tiền bạc, mã nguồn, quyền hạn, cơ sở hạ tầng hoặc trạng thái quy định; giao thức mở giúp bằng chứng có thể được xác minh độc lập.
★ 649-29Thay đổi số sao trong 7 ngày qua - #11
Danh sách các công cụ và framework xác thực phần cứng mã nguồn mở miễn phí
★ 622+1Thay đổi số sao trong 7 ngày qua - #12
Danh sách các công ty sử dụng phương pháp hình thức (formal methods) trong công nghiệp
★ 610+1Thay đổi số sao trong 7 ngày qua - #13★ 508+1Thay đổi số sao trong 7 ngày qua
