KTH STEP group

Popular repositories Loading

1. HolBA HolBA Public

   Binary analysis in HOL

   Standard ML 47 22

2. HOL4P4 HOL4P4 Public

   P4 formalization using Ott and HOL4

   Standard ML 20 2

3. s3k s3k Public

   Capability-based real-time separation kernel for secure embedded RISC-V.

   C 20 13

4. itppv-course itppv-course Public

   Interactive Theorem Proving course using HOL4

   Standard ML 14 1

5. EmbExp-Box_firmware EmbExp-Box_firmware Public

   C 4

6. EmbExp-ProgPlatform EmbExp-ProgPlatform Public

   Embedded Experiments - the program platform

   C 3 3