Software Engineering and Programming Languages Group – Heinrich Heine University Düsseldorf

prob-rodinplugin

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

prolog-jupyter-kernel

A Jupyter kernel for Prolog

specifications

A collection of (public) specifications in different formalisms.

homebrew-prob

Homebrew tap to install the ProB model checker and animator.

prob2_kernel

(READ ONLY MIRROR) ProB 2.0 Kernel

prob2_ui

(READ ONLY MIRROR) ProB 2 UI

alloy2b

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

b-language-extension

(READ ONLY MIRROR) adds access to prob via vscode

b-language-server

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

probparsers

(READ ONLY MIRROR) ProB Parser library

camille

(READ ONLY MIRROR) The Camille Editor for Rodin

prob2-doc

(READ ONLY MIRROR) ProB 2 Documentation

rodin-ast

(READ ONLY MIRROR) Standalone version of the Rodin Event-B parser and AST, published to Maven Central

tla2bAST

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

kilok_shunting_model

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

prob2_ui_rule_validation_plugin

rodin-handbook

(MIRROR) Rodin 2.x Handbook

abz2020-models

Classical B and Event-B models for the ABZ'2020 automotive case study

AMAN-abstraction-example

Contains the Event-B, Rodin and ProB2UI files for the abstraction example of the AMAN case study

AMAN-case-study

AMAN case study Event-B and ProB project

antlr-parser

(MIRRIR) DO NOT USE THIS PLEASE

highway-env-b-model

landing_gear_vos

ABZ 2014 Landing Gear model, extended with validation obligations

lebib

(READ ONLY MIRROR) bibtex to HTML transformer

ltl-pattern-parser

(READ ONLY MIRROR) Parser for a LTL Pattern DSL

prob-logic-calculator

(READ ONLY MIRROR) The ProB Logic Calculator

prob2-eventb-algorithm-dsl

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

prob2_ui_lightbot_visualization

reinforcement-learning-b-models

tlc4b

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