Skip to content
@hhu-stups

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

Pinned Loading

  1. prob-issues Public

    ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)

    6

  2. prob-rodinplugin Public

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

    Java 19 14

  3. prob2_ui Public

    (READ ONLY MIRROR) ProB 2 UI

    Java 3

  4. specifications Public

    A collection of (public) specifications in different formalisms.

    Makefile 15 2

Repositories

Showing 10 of 57 repositories
  • prob2_ui Public

    (READ ONLY MIRROR) ProB 2 UI

    Java 3 EPL-2.0 0 0 0 Updated Mar 7, 2025
  • antlr-parser Public

    (MIRRIR) DO NOT USE THIS PLEASE

    Java 0 EPL-1.0 2 0 0 Updated Mar 6, 2025
  • prob2_kernel Public

    (READ ONLY MIRROR) ProB 2.0 Kernel

    Java 4 EPL-2.0 2 0 0 Updated Mar 4, 2025
  • 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 0 1 0 0 Updated Feb 28, 2025
  • tla2bAST Public

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

    Java 0 0 0 0 Updated Feb 28, 2025
  • probparsers Public

    (READ ONLY MIRROR) ProB Parser library

    Java 2 1 0 0 Updated Feb 28, 2025
  • abz2025_casestudy_autonomous_driving Public
    Python 2 3 1 0 Updated Feb 28, 2025
  • org.alloytools.alloy Public Forked from AlloyTools/org.alloytools.alloy

    (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 0 126 0 0 Updated Feb 25, 2025
  • prob-rodinplugin Public

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

    Java 19 14 0 0 Updated Feb 24, 2025
  • b-language-extension Public

    (READ ONLY MIRROR) adds access to prob via vscode

    TypeScript 3 EPL-2.0 0 0 0 Updated Feb 12, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…