Chủ đề · runtime-verification

runtime-verification

Các kho mã nguồn mở đang theo dõi được gắn thẻ runtime-verification, sắp xếp theo số sao.

Kho mã

2

Tổng số sao

1.408

Số sao trung bình

704

Tỷ trọng

0,00%

Những chủ đề thường xuất hiện cùng runtime-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ẻ runtime-verification.

Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.

#1
copilot ↗@Copilot-LanguageHaskell
Một framework kiểm chứng thời gian thực dựa trên luồng để tạo mã C thời gian thực cứng.
★ 833+1Thay đổi số sao trong 7 ngày qua
#2
ogma ↗@nasaHaskell
Trình tạo bộ giám sát thời gian thực cho các ứng dụng hàng không và robot.
★ 577+1Thay đổi số sao trong 7 ngày qua

← Quay lại danh sách chủ đề