Topik · runtime-verification

runtime-verification

Repositori open source terpantau bertanda runtime-verification, diurutkan berdasarkan bintang.

Repositori

Total bintang

1.408

Rata-rata bintang

704

Porsi

0,00%

Topik yang sering muncul berdampingan dengan runtime-verification di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda runtime-verification.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
copilot ↗@Copilot-LanguageHaskell
Kerangka kerja verifikasi runtime berbasis stream untuk menghasilkan kode C real-time yang keras.
★ 833+1Perubahan bintang dalam 7 hari terakhir
#2
ogma ↗@nasaHaskell
Generator monitor runtime untuk aplikasi penerbangan dan robotika.
★ 577+1Perubahan bintang dalam 7 hari terakhir