List of Event-B models

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.

• binary search algorithm
• controlling cars on a bridge
• unix file system
• traffic light controller