This is the reposistory for RoadFighter2, the formal software develoement of the RoadFighter game. The repository includes 3 parts:
- The Rodin project for RoadFighter2 (the Event-B model includes 3 machines). We worked with Rodin version 3.3
- The Eclipse project that is generated by EventB2Java, for which we have manually created JUnit tests.
- The Android studio project that uses the Java code generated by EventB2Java,