hhu-stups/specifications

Stars
15
Rank 1,371,379 (Top 28 %)
Language Makefile
Created almost 5 years ago
Updated 9 months ago

hhu-stups/specifications

hhu-stups

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A collection of (public) specifications in different formalisms.

prob-rodinplugin

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

prolog-jupyter-kernel

A Jupyter kernel for Prolog

pyB

prob-issues

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

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

b-language-extension

(READ ONLY MIRROR) adds access to prob via vscode

python_jvm

jupyterlab-prolog-codemirror-extension

A JupyterLab extension providing a Prolog CodeMirror

probparsers

(READ ONLY MIRROR) ProB Parser library

b-language-server

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

alloy2b

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

tlatools

(READ ONLY MIRROR) Modified version of the TLA+ tools for usage in ProB

sicstus_to_swi_transpiler

A Transpiler from Sicstus to Swi Prolog

tla2b

camille

(READ ONLY MIRROR) The Camille Editor for Rodin

value-translator

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

prob-examples-metadata

Meta statistics and data gathered over the public ProB examples.

ptolemy-jfmi

This project only packages the great JFMI library from the Ptolemy project

prob2-doc

(READ ONLY MIRROR) ProB 2 Documentation

probcli-starter

executable_spec_example

Example usage of the ProB 2.0 Java API

rodin-ast

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