Software Engineering and Programming Languages Group – Heinrich Heine University Düsseldorf
- 12 followers
- Duesseldorf, Germany
- http://stups.hhu.de
- stups@hhu.de
Pinned Loading
-
-
prob-rodinplugin
prob-rodinplugin Public(READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin
-
specifications
specifications PublicA collection of (public) specifications in different formalisms.
Repositories
Showing 10 of 59 repositories
- tlc4b Public
(READ ONLY MIRROR) Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them.
hhu-stups/tlc4b’s past year of commit activity
Top languages
Loading...
Most used topics
Loading...