Check consistency between Rust source code and Verus-rewrited version

A generic framework for Model-Checking any customized kernel.

Command defination of kernel model-check.

Test harness of kernel model-check.

Command and argument generators of kernel model-check.

Model-Check File System

A wrapped std::collections::HashMap that enables multiple keys mapping to one value.

Model-Check Memory Management

Model-check of memory management module.