Copilot-Language/copilot

@Copilot-Language

Kerangka kerja verifikasi runtime berbasis stream untuk menghasilkan kode C real-time yang keras.

↗ Buka di GitHub

Bintang

833

Fork

79

Bahasa

Haskell

Lisensi

—

Push terakhir

2 bulan yang lalu

Haskell stream c embedded-systems copilot haskell requirements runtime-monitoring runtime-monitoring-system runtime-verification rv requirements-engineering runtime-assurance

Belum ada intel terkait

Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.