Models and Infrastructure used in "Deep Statistical Model Checking"

This repository contains the models and all other infrastructure (learning procedure, NNs, Jani generator, maps, modes & mcsta binaries) used in the FORTE 2020 paper "Deep Statistical Model Checking".

本代码仓库包含了发表于FORTE 2020年会论文《深度统计模型检验（"Deep Statistical Model Checking"）》中所使用的全部模型与配套基础设施，涵盖学习流程、神经网络（Neural Networks）、JANI生成器、地图文件、模式以及mcsta二进制可执行文件。