The files of the formal specification of the Grader project are represented in the packages below.
These files are located in the specification project directory. Below is a link to the javadoc subdirectory, which contains the generated model documentation