A workspace is a virtual sandbox environment for your code in GitLab.
No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.
they contain the same information and some ValueObjs are converted to TLCValueNodes later anyway
| Name | Last commit | Last update |
|---|---|---|
| gradle/wrapper | ||
| src | ||
| .editorconfig | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| Makefile | ||
| README.md | ||
| build.gradle | ||
| gradle.properties.enc | ||
| gradlew | ||
| gradlew.bat | ||
| pubring.gpg.enc | ||
| secring.gpg.enc | ||
| settings.gradle |
This project contains a translator from TLA+ to B for animation and validation of TLA specifications using ProB.
The following article describes the translation: Dominik Hansen and Michael Leuschel. Translating TLA+ to B for Validation with ProB. Proceedings IFM 2012. LNCS, vol 7321. pages 24-38. 2012. Link
More details about using TLA2B can be found on the ProB web pages.
