Skip to content

Latest commit

 

History

History
6 lines (6 loc) · 448 Bytes

README.md

File metadata and controls

6 lines (6 loc) · 448 Bytes
Raw

carracinggame

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,