ProB Rodin Plugin

ProB Rodin Plugin

The ProB Model Checker and Animator Plugin for Rodin