A unspecified Markov model checker implemented in Python using neural networks.

• Suitable for both discrete-time Markov Chain and continuous-time Markov Chain
• Implement multiple function approximation methods to predict final results to give best approximations
• High accuracy comed with pretty fast speed

cd PROJ_ROOT
sudo pip install -r requirements.txt
sudo pyinstaller --clean PATH_2_MainUI.py

If warning no permission, try to add sudo

Fellow help documentation after executing the MainUI.exe
Here is a simple How-to:

1. executing MainUI.exe by double-click it
2. open a model file(a .prism file) and edit it. (syntax)
3. input a LTL formula. (syntax)
4. start training and predictation.

	|--- README.md
	|--- prism_model // prism模型文件
	|--- requirements.txt
	|--- src
	|    |--- checker  // 验证器模块
	|    |--- compiler // 编译模块
	|    |--- config // 配置模块
	|    |--- constant // 常量模块
	|    |--- experiment // 训练模块
	|    |--- model // 模型模块
	|    |--- module // 模块模块
	|    |--- nn // 神经网络模块
	|    |--- scripts // 脚本模块
	|    |--- simulator // 模拟器模块
	|    |--- director // 导演模块
	|    |--- manager // 管理员模块
	|    |--- test // 测试模块
	|    |--- ui // UI模块
	|    |--- util // 辅助模块
## Contact
Email: