All models are stored as zip archives that can be imported into Rodin. Also there are txt versions of the models generated by eventb-to-txt script, which can be used to view the code of the models without Rodin.
-
Notifications
You must be signed in to change notification settings - Fork 0
Collection of various Event-B models
License
17451k/eventb-models
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Collection of various Event-B models
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published