github.com

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

Provide feedback

@hhu-stups

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

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

Java 19 14
(READ ONLY MIRROR) ProB 2 UI

Java 3
A collection of (public) specifications in different formalisms.

Makefile 15 2

Type

Select type

All Public Sources Forks Archived Mirrors Templates

Language

Select language

All Groovy HTML Java JavaScript Jupyter Notebook Kotlin Makefile Prolog Python Ruby TeX TypeScript

Sort

Select order

Last updated Name Stars

Showing 10 of 57 repositories

probparsers Public
(READ ONLY MIRROR) ProB Parser library

hhu-stups/probparsers’s past year of commit activity

Java
2 1 0 0
Updated Feb 20, 2025
hhu-stups/antlr-parser’s past year of commit activity

Java 0 EPL-1.0
2 0 0
Updated Feb 20, 2025
prob2_ui Public
(READ ONLY MIRROR) ProB 2 UI

hhu-stups/prob2_ui’s past year of commit activity

Java
3
EPL-2.0 0
0 0
Updated Feb 19, 2025
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 Feb 17, 2025
hhu-stups/abz2025_casestudy_autonomous_driving’s past year of commit activity

Python
2 3 1 0
Updated Feb 13, 2025
hhu-stups/prob2_kernel’s past year of commit activity

Java
4
EPL-2.0
2 0 0
Updated Feb 12, 2025
hhu-stups/b-language-extension’s past year of commit activity

TypeScript
3
EPL-2.0 0
0 0
Updated Feb 12, 2025
probandit Public
Performance fuzzer for ProB's constraint solving backends

hhu-stups/probandit’s past year of commit activity

Python 0 0
0 0
Updated Jan 28, 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.

hhu-stups/tlc4b’s past year of commit activity

Java 0
1 0 0
Updated Jan 27, 2025
hhu-stups/prob2-eventb-algorithm-dsl’s past year of commit activity

Groovy 0 EPL-2.0 0
0 0
Updated Jan 23, 2025

Loading…