Skip to content
Snippets Groups Projects
Select Git revision
  • db90d21ed589c30bb102a01cbcca1c7d77a3de37
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 1.4.2
  • 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
21 results

tla2bAST

  • Clone with SSH
  • Clone with HTTPS
    • Jan Gruteser's avatar
    refactor and improve ExpressionTranslator
    Jan Gruteser authored 
    new feature: use (translated) definitions from module context in expressions, e.g. in ProB2-UI console
    db90d21e
    History
    Jan Gruteser's avatar db90d21e
    History
    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