hhu-stups Goto Github PK

abz2020-models

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

alloy2b

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

alloy2b-doc

As of version 1.8 ProB provides support to load Alloy models

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

automatic-animation-plugin

This plugin for the ProB2-UI project checks if a newly opened project contains just one runconfiguration and animates it automatically.

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

camille

(READ ONLY MIRROR) The Camille Editor for Rodin

executable_spec_example

Example usage of the ProB 2.0 Java API

highway-env-b-model

homebrew-prob

Homebrew tap to install the ProB model checker and animator.

infolog

(READ ONLY MIRROR) Infolog - Prolog Sourcecode Analysis System

jupyterlab-prolog-codemirror-extension

A JupyterLab extension providing a Prolog CodeMirror

kilok_shunting_model

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

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

ltlpatternparser

OLD REPO WITH MISSING HISTORY - DO NOT USE - see ltl-pattern-parser repo instead

normsetting_tp_modellierung

Teilprojekt Modellierung von normsetting.org

org.alloytools.alloy

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.

prob-examples-metadata

Meta statistics and data gathered over the public ProB examples.

prob-issues

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

prob-logic-calculator

(READ ONLY MIRROR) The ProB Logic Calculator

prob-promela

Promela Compiler / Interpreter for ProB

prob-rodinplugin

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

prob2-doc

(READ ONLY MIRROR) ProB 2 Documentation

prob2-eventb-algorithm-dsl

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

prob2-ui-visualizations

Example visualizations for the ProB2-UI