GitHub topics: coq-proof-assistant
georgiabasa/certikosApp
Implementation of a secure, low-level application designed on CertiKOS formally verified operating system kernel. Simulation of an autonomous satellite critical susystems - environmental monitoring, task scheduling and watchdog diagnostics - within a trusted computing environment. Developed as part of my diploma thesis at the University of Patras.
Language: C - Size: 362 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
querycert/qcert
Compilation and Verification of Data-Centric Languages
Language: Coq - Size: 28.7 MB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 58 - Forks: 10
