Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

ProB Rodin Plugin
- Activity
- Members
- Labels
- Releases
- Model registry
- Environments
- Model experiments

Snippets Groups Projects

- general
- stups
ProB Rodin Plugin

ProB Rodin Plugin

Project ID: 2170

Project information

The ProB Model Checker and Animator Plugin for Rodin

1,333 Commits
9 Branches
9 Tags

README

Created on

June 29, 2021

Select Git revision

1 result Searching

prob_rodin_plugin

Clone with SSH

Clone with HTTPS

Open with

Visual Studio Code
SSH HTTPS
IntelliJ IDEA
SSH HTTPS

Download source code

zip tar.gz tar.bz2 tar

Name	Last commit	Last update