Skip to content
@hhu-stups

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

Pinned Loading

  1. prob-issues prob-issues Public

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

    6

  2. prob-rodinplugin prob-rodinplugin Public

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

    Java 19 14

  3. prob2_ui prob2_ui Public

    (READ ONLY MIRROR) ProB 2 UI

    Java 4 2

  4. specifications specifications Public

    A collection of (public) specifications in different formalisms.

    Makefile 20 3

Repositories

Showing 10 of 60 repositories
  • camille Public

    (READ ONLY MIRROR) The Camille Editor for Rodin

    hhu-stups/camille's past year of commit activity
    Java 1 1 17 0 Updated Nov 2, 2026
  • prob-rodinplugin Public

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

    hhu-stups/prob-rodinplugin's past year of commit activity
    Java 19 14 0 0 Updated Nov 2, 2026
  • probparsers Public

    (READ ONLY MIRROR) ProB Parser library

    hhu-stups/probparsers's past year of commit activity
    Java 4 2 0 0 Updated Nov 1, 2026
  • prob2_ui Public

    (READ ONLY MIRROR) ProB 2 UI

    hhu-stups/prob2_ui's past year of commit activity
    Java 4 EPL-2.0 2 0 0 Updated Nov 1, 2026
  • prob2_kernel Public

    (READ ONLY MIRROR) ProB 2.0 Kernel

    hhu-stups/prob2_kernel's past year of commit activity
    Java 5 EPL-2.0 1 0 0 Updated Nov 1, 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 them.

    hhu-stups/tlc4b's past year of commit activity
    Java 0 1 0 0 Updated Oct 31, 2026
  • xml2b Public

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

    hhu-stups/xml2b's past year of commit activity
    Java 0 0 0 0 Updated Oct 30, 2026
  • probkodkod Public

    (READ ONLY MIRROR) Kodkod Wrapper for ProB

    hhu-stups/probkodkod's past year of commit activity
    Java 0 0 0 0 Updated Oct 29, 2026
  • tla2bAST Public

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

    hhu-stups/tla2bAST's past year of commit activity
    Java 0 0 0 0 Updated Oct 28, 2026
  • lebib Public

    (READ ONLY MIRROR) bibtex to HTML transformer

    hhu-stups/lebib's past year of commit activity
    TeX 0 1 3 (3 issues need help) 0 Updated Oct 16, 2026
View all repositories

Most used topics

Loading…