Skip to content
Snippets Groups Projects
Select Git revision
  • aa1b0c5f92bcd3cce45c3d105e1018b3028badf5
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 1.4.1
  • 1.4.0
  • 1.3.0
  • 1.2.1
  • 1.2.0
  • 1.1.5
  • 1.1.4
  • 1.1.3
  • 1.1.1
  • 1.1.0
  • 1.0.9
  • 1.0.8
  • 1.0.7
  • v1.0.5
  • 1.0.5
20 results

tla2bAST

  • Open with
  • Download source code
  • Your workspaces

      A workspace is a virtual sandbox environment for your code in GitLab.

      No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.

    • 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
    README.md

    TLA2B

    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.

    GitLab CI