Name		Name	Last commit message	Last commit date
Traces		Traces
spec		spec
src/main/java/org/lbee		src/main/java/org/lbee
.gitignore		.gitignore
README.md		README.md
conf.ndjson		conf.ndjson
pom.xml		pom.xml
run_impl.py		run_impl.py
tla_trace_validation.py		tla_trace_validation.py
trace_merger.py		trace_merger.py

Repository files navigation

LockServer

> mvn package

> python run_impl.py

> python trace_merger.py

> python tla_trace_validation.py spec/locksvTrace.tla

About

No description, website, or topics provided.

Custom properties

1 star

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages