探索数据并行有限状态机以进行运行时验证 课程项目。 目标是首先基于ASPLOS 2014论文《技术,利用现代硬件提供的并行性来降低使用有限状态机进行监视的运行时间和能源开销。 如何安装 安装并在此存储库的根目录中运行cargo test以安装所有监视器依赖项。 安装并运行pip3 install click以安装脚本依赖项。 如何使用 该项目提供了带有命令行界面的工具: Parallel FSM for Runtime Verification USAGE: parallel_fsm_rv [FLAGS] [OPTIONS] <INPUT> FLAGS: -h, --help Prints help information --seq Run sequentially -V, --version Prints ve