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

README.md

Blame
    • Jan Gruteser's avatar
    add readme
    Jan Gruteser authored
    15c2f2cb
    History
    Jan Gruteser's avatar 15c2f2cb
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    README.md 658 B

    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