Repositories list

• prob2_ui

  Public
  (READ ONLY MIRROR) ProB 2 UI

  Java

  •

  Eclipse Public License 2.0

  •1•4•0•0•Updated Feb 21, 2026Feb 21, 2026

• prob2_kernel

  Public
  (READ ONLY MIRROR) ProB 2.0 Kernel

  Java

  •

  Eclipse Public License 2.0

  •2•4•0•0•Updated Feb 21, 2026Feb 21, 2026

• probparsers

  Public
  (READ ONLY MIRROR) ProB Parser library

  Java

  •1•2•0•0•Updated Feb 20, 2026Feb 20, 2026

• rodin-handbook

  Public
  (MIRROR) Rodin 2.x Handbook

  TeX

  •1•0•0•0•Updated Feb 20, 2026Feb 20, 2026

• homebrew-prob

  Public
  Homebrew tap to install the ProB model checker and animator.

  Ruby

  •

  ISC License

  •2•5•1•1•Updated Feb 12, 2026Feb 12, 2026

• lebib

  Public
  (READ ONLY MIRROR) bibtex to HTML transformer

  TeX

  •

  Other

  •1•0•3•0•Updated Feb 6, 2026Feb 6, 2026

• tla2bAST

  Public
  (READ ONLY MIRROR) Translator from TLA+ to ProB's AST representation

  Java

  •0•0•0•0•Updated Jan 26, 2026Jan 26, 2026

• prob-rodinplugin

  Public
  (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin

  Java

  •14•19•0•0•Updated Jan 24, 2026Jan 24, 2026

• cf-srv

  Public
  READ-ONLY mirror to Crazyflie server communicating with ProB via external libraries

  HTML

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated Jan 20, 2026Jan 20, 2026

• xml2b

  Public
  (READ ONLY MIRROR) Typed Translation from XML (using XSD) to ProB's AST representation

  xmlformal-methods

  Java

  •0•0•0•0•Updated Jan 16, 2026Jan 16, 2026

• tlc4b

  Public
  (READ ONLY MIRROR) Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check the…

  Java

  •1•0•0•0•Updated Jan 16, 2026Jan 16, 2026

• value-translator

  Public
  (READ ONLY MIRROR) Library to translate Classical B values into Java objects.

  javaprob

  Java

  •

  MIT License

  •0•1•0•0•Updated Jan 9, 2026Jan 9, 2026

• prob2-eventb-algorithm-dsl

  Public
  (READ ONLY MIRROR) Groovy-based DSL for Event-B

  Groovy

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated Nov 7, 2025Nov 7, 2025

• prob2_jupyter_kernel

  Public
  (MIRROR) A Java-based Jupyter kernel for ProB 2

  Jupyter Notebook

  •1•0•0•0•Updated Nov 7, 2025Nov 7, 2025

• b-language-extension

  Public
  (READ ONLY MIRROR) adds access to prob via vscode

  TypeScript

  •

  Eclipse Public License 2.0

  •0•3•0•0•Updated Oct 22, 2025Oct 22, 2025

• b-language-server

  Public
  (READ ONLY MIRROR) A language server implementation for B, using ProB as backend, based on Java/Kotlin

  Kotlin

  •

  Eclipse Public License 2.0

  •1•2•0•0•Updated Oct 10, 2025Oct 10, 2025

• AMAN-case-study

  Public
  AMAN case study Event-B and ProB project

  HTML

  •0•0•0•0•Updated Sep 29, 2025Sep 29, 2025

• ltl-pattern-parser

  Public
  (READ ONLY MIRROR) Parser for a LTL Pattern DSL

  Java

  •0•0•0•0•Updated Jul 17, 2025Jul 17, 2025

• prob-logic-calculator

  Public
  (READ ONLY MIRROR) The ProB Logic Calculator

  JavaScript

  •

  Eclipse Public License 1.0

  •0•0•0•0•Updated Jul 11, 2025Jul 11, 2025

• antlr-parser

  Public
  (MIRRIR) DO NOT USE THIS PLEASE

  usedonot

  Java

  •

  Eclipse Public License 1.0

  •2•0•0•0•Updated Mar 13, 2025Mar 13, 2025

• abz2025_casestudy_autonomous_driving

  Public
  Python

  •4•3•1•0•Updated Feb 28, 2025Feb 28, 2025

• org.alloytools.alloy

  Public
  (READ-ONLY MIRROR) Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding ho…

  Java

  •

  Other

  •138•0•0•0•Updated Feb 25, 2025Feb 25, 2025

• probandit

  Public
  Performance fuzzer for ProB's constraint solving backends

  Python

  •0•0•0•0•Updated Jan 28, 2025Jan 28, 2025

• reinforcement-learning-b-models

  Public
  HTML

  •0•2•0•0•Updated Dec 16, 2024Dec 16, 2024

• alloy2b

  Public
  (READ ONLY MIRROR) Parser for our Translation from Alloy to B

  translationalloyb-method

  Prolog

  •0•2•0•0•Updated Dec 2, 2024Dec 2, 2024

• ai4fm-studies

  Public
  Contains the aggregated primary studies found during the systematic mapping study over AI application in the field of formal methods.

  TeX

  •0•6•0•0•Updated Nov 22, 2024Nov 22, 2024

• tlatools

  Public
  (READ ONLY MIRROR) Modified version of the TLA+ tools for usage in ProB

  Java

  •

  MIT License

  •0•2•0•0•Updated Oct 28, 2024Oct 28, 2024

• highway-env-b-model

  Public
  HTML

  •0•0•0•0•Updated Aug 14, 2024Aug 14, 2024

• probkodkod

  Public
  (READ ONLY MIRROR) Kodkod Wrapper for ProB

  Java

  •0•0•0•0•Updated Jul 5, 2024Jul 5, 2024

• camille

  Public
  (READ ONLY MIRROR) The Camille Editor for Rodin

  rodinevent-b

  Java

  •1•1•17•0•Updated Jul 3, 2024Jul 3, 2024