Chủ đề · formal-methods
formal-methods
Các kho mã nguồn mở đang theo dõi được gắn thẻ formal-methods, sắp xếp theo số sao.
Kho mã
10
Tổng số sao
21.663
Số sao trung bình
2.166
Tỷ trọng
0,00%
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng formal-methods 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-methods.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1★ 9.080+1Thay đổi số sao trong 7 ngày qua
- #2★ 3.673+3Thay đổi số sao trong 7 ngày qua
- #3★ 1.836+0Thay đổi số sao trong 7 ngày qua
- #4★ 1.836+2Thay đổi số sao trong 7 ngày qua
- #5
Ngôn ngữ đặc tả khả thi với các công cụ thú vị dựa trên logic thời gian của hành động (TLA)
★ 1.654+12Thay đổi số sao trong 7 ngày qua - #6★ 948+19Thay đổi số sao trong 7 ngày qua
- #7
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 - #8
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 - #9
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 - #10★ 508+1Thay đổi số sao trong 7 ngày qua
