Pinned Repositories
brightfu.github.io
CertiOS
A verification framework for preemptive OS kenerls. (Coq8.6)
CertiuCOS2
A refinement-based verification framework for preemptive OS kenerls. (Coq8.5)
ming1.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
CertiOS
A Practical Verification Framework for Preemptive OS kernels
brightfu's Repositories
brightfu/CertiuCOS2
A refinement-based verification framework for preemptive OS kenerls. (Coq8.5)
brightfu/brightfu.github.io
brightfu/CertiOS
A verification framework for preemptive OS kenerls. (Coq8.6)
brightfu/ming1.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes