Repositories list

• 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 them.

  Java

  •1•0•0•0•Updated Feb 26, 2025Feb 26, 2025

• prob2_ui

  Public
  (READ ONLY MIRROR) ProB 2 UI

  Java

  •

  Eclipse Public License 2.0

  •0•3•0•0•Updated Feb 26, 2025Feb 26, 2025

• tla2bAST

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

  Java

  •0•0•0•0•Updated Feb 26, 2025Feb 26, 2025

• prob2_kernel

  Public
  (READ ONLY MIRROR) ProB 2.0 Kernel

  Java

  •

  Eclipse Public License 2.0

  •2•4•0•0•Updated Feb 26, 2025Feb 26, 2025

• probparsers

  Public
  (READ ONLY MIRROR) ProB Parser library

  Java

  •1•2•0•0•Updated Feb 26, 2025Feb 26, 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 holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

  Java

  •

  Other

  •124•0•0•0•Updated Feb 25, 2025Feb 25, 2025

• prob-rodinplugin

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

  Java

  •14•19•0•0•Updated Feb 24, 2025Feb 24, 2025

• antlr-parser

  Public
  (MIRRIR) DO NOT USE THIS PLEASE

  usedonot

  Java

  •

  Eclipse Public License 1.0

  •2•0•0•0•Updated Feb 20, 2025Feb 20, 2025

• abz2025_casestudy_autonomous_driving

  Public
  Python

  •3•2•1•0•Updated Feb 13, 2025Feb 13, 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 Feb 12, 2025Feb 12, 2025

• probandit

  Public
  Performance fuzzer for ProB's constraint solving backends

  Python

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

• 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 Jan 23, 2025Jan 23, 2025

• lebib

  Public
  (READ ONLY MIRROR) bibtex to HTML transformer

  TeX

  •

  Other

  •1•0•3•0•Updated Jan 20, 2025Jan 20, 2025

• reinforcement-learning-b-models

  Public
  HTML

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

• ltl-pattern-parser

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

  Java

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

• alloy2b

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

  alloyb-methodtranslation

  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•1•0•0•Updated Nov 22, 2024Nov 22, 2024

• value-translator

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

  javaprob

  Java

  •

  MIT License

  •0•1•0•0•Updated Nov 11, 2024Nov 11, 2024

• AMAN-case-study

  Public
  AMAN case study Event-B and ProB project

  HTML

  •0•0•0•0•Updated Nov 11, 2024Nov 11, 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

• prolog-jupyter-kernel

  Public
  A Jupyter kernel for Prolog

  Prolog

  •

  MIT License

  •3•20•9•0•Updated May 7, 2024May 7, 2024

• kilok_shunting_model

  Public
  Model files for the article "A Formal Model of Train Control with AI-based Obstacle Detection"

  HTML

  •0•1•0•0•Updated Apr 15, 2024Apr 15, 2024

• prob2-doc

  Public
  (READ ONLY MIRROR) ProB 2 Documentation

  TeX

  •1•1•0•0•Updated Apr 8, 2024Apr 8, 2024

• prob2_ui_rule_validation_plugin

  Public
  Java

  •0•0•0•0•Updated Mar 22, 2024Mar 22, 2024

• 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

  •0•2•0•0•Updated Mar 8, 2024Mar 8, 2024

• specifications

  Public
  A collection of (public) specifications in different formalisms.

  Makefile

  •2•15•0•0•Updated Mar 6, 2024Mar 6, 2024

• homebrew-prob

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

  Ruby

  •

  ISC License

  •2•5•1•1•Updated Feb 23, 2024Feb 23, 2024