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

Name		Name	Last commit message	Last commit date
Latest commit History 70 Commits
build		build
public		public
src		src
.eslintrc.cjs		.eslintrc.cjs
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
forge.config.js		forge.config.js
index.html		index.html
main.js		main.js
package-lock.json		package-lock.json
package.json		package.json
preload.js		preload.js
vite.config.js		vite.config.js