Skip to content

KiroScarlet/ModelChecking

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

13 Commits

.idea

.idea

 
 

__pycache__

__pycache__

 
 

输出结果

输出结果

 
 

PG_to_TS.py

PG_to_TS.py

 
 

machine.txt

machine.txt

 
 

peterson互斥.txt

peterson互斥.txt

 
 

peterson互斥1.txt

peterson互斥1.txt

 
 

peterson非原子1.txt

peterson非原子1.txt

 
 

peterson非原子2.txt

peterson非原子2.txt

 
 

peterson非原子逆序1.txt

peterson非原子逆序1.txt

 
 

peterson非原子逆序2.txt

peterson非原子逆序2.txt

 
 

readme.txt

readme.txt

 
 

test1.txt

test1.txt

 
 

test2.txt

test2.txt

 
 

信号量互斥1.txt

信号量互斥1.txt

 
 

信号量互斥2.txt

信号量互斥2.txt

 
 

Repository files navigation

如果不知道程序是干啥的，请戳这里：
https://blog.csdn.net/m0_37657841/article/details/88650966

1.请参照已有的文件，给出自己程序的PG文件
2.把输出文件夹改成自己的文件夹
3.生成的dot文件以graphviz打开即为TS图

About

一个用于模型测试的小工具，实现了从程序图到状态转移图的转换算法

Resources

Readme
Activity

Stars

5 stars

Watchers

1 watching

Forks

2 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages