Sebastian Krings

Düsseldorf, Deutschland

ProB for Rodin

Analyzed 3 months ago

The ProB Model Checker and Animator (Rodin Plugin)

100K lines of code

5 current contributors

6 months since last commit

0 users on Open Hub

Activity Not Available

I Use This

Licenses: eclipse

Analyzed 3 months ago

ProB Animator and Model-Checker 2.0

76.5K lines of code

12 current contributors

almost 6 years since last commit

0 users on Open Hub

Activity Not Available

I Use This

Licenses: No declared licenses