brightfu/CertiuCOS2

A refinement-based verification framework for preemptive OS kenerls. (Coq8.5)

Coq