kth-step/HolBA kth-step/HolBA

  • Stars
    star
    32
  • Rank 776,829 (Top 16 %)
  • Language Standard ML
  • License
    Other
  • Created over 6 years ago
  • Updated 18 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kth-step/HolBA
github

kth-step

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Binary analysis in HOL

More Repositories

1

itppv-course

Interactive Theorem Proving course using HOL4
Standard ML
6
star
2

HOL4P4

P4 formalization using Ott and HOL4
Standard ML
6
star
3

EmbExp-Box_firmware

C
4
star
4

s3k

Capability based separation Kernel for embedded RISC-V.
C
4
star
5

separation-kernel

C
2
star
6

s3k-poc

Proof-of-concept application using the S3K kernel
C
1
star
7

dma-controller-verification

Standard ML
1
star
8

mil

Formal definition, metatheory, and tools for the Machine Independent Language using HOL4 and CakeML
Standard ML
1
star
9

Silver-Pi

Verified Pipelined Processor Circuit
Standard ML
1
star
10

fp-course

1
star