UNPKG

@fairfox/web-ext-verify

Version:

Formal verification for message-passing systems using TLA+. Automatically generates TLA+ specifications from TypeScript code.

github.com/alexjeffcott/web-ext/tree/main/packages/verify

alexjeffcott/web-ext

1 folder, 4 files

	Filename	Content Type	Size
	../
	tla/	–	14.2 kB
	Dockerfile	application/octet-stream	239 B
	README.md	text/markdown	1.07 kB
	docker-compose.yml	text/yaml	155 B
	verification.config.ts	text/typescript	2.19 kB