UNPKG

uppaal-to-tchecker

Version:

JavaScript implementation of Uppaal to TChecker translator - convert Uppaal timed automata models to TChecker format

github.com/uppaal-to-tchecker/uppaal-to-tchecker-js

uppaal-to-tchecker/uppaal-to-tchecker-js

4 folders, 5 files

	Filename	Content Type	Size
	bin/	–	5.72 kB
	examples/	–	7.52 kB
	scripts/	–	11.1 kB
	src/	–	102 kB
	CHANGELOG.md	text/markdown	2.92 kB
	LICENSE	text/plain	1.1 kB
	README.md	text/markdown	6.86 kB
	USAGE_COMPARISON.md	text/markdown	9.01 kB
	package.json	application/json	2.03 kB

About

github.com/uppaal-to-tchecker/uppaal-to-tchecker-js

uppaal-to-tchecker/uppaal-to-tchecker-js

Releases

11 months ago