GitHub - ThinerZQ/WorkflowModelCheck: statemachine workflow xml definition transfer to promela code

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
gradle/wrapper		gradle/wrapper
src		src
WorkflowModelCheck.iml		WorkflowModelCheck.iml
build.gradle		build.gradle
chinese.txt		chinese.txt
english.txt		english.txt
gradlew		gradlew
gradlew.bat		gradlew.bat
pom.xml		pom.xml