Korred / eventb-lightbot

Lightbot written using Event-B

eventb-lightbot

Lightbot written using Event-B

Further reads:

B-Method: https://en.wikipedia.org/wiki/B-Method

Event-B: http://wiki.event-b.org/index.php/Main_Page

Rodin: https://en.wikipedia.org/wiki/Rodin_tool

Pro-B: https://www3.hhu.de/stups/prob/index.php/Main_Page