Skip to content
Snippets Groups Projects
Select Git revision
  • 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
19 results

tla2bAST

  • Clone with SSH
  • Clone with HTTPS
    • 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