Skip to content

About

模型检查前端

Resources

Stars

0 stars

Watchers

0 watching

Forks

 
 

Repository files navigation

model-checker

an integrated tool environment for modeling, simulation and verification of real-time systems

运行

npm install
npm run dev

打包

npm install
npm run build
npm run electron:build

About

模型检查前端

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages