Do you ever draw a parity game example on a whiteboard? You never have to do this again. ParityGames.io is a GUI that will meet your needs as a parity game researcher or educator. It allows you to import, create and modify parity game and their diagrams with ease. We provide quality-of-life features like undo & redo, automatic layout and locked node groups. For any parity game, with the press of a button, you can generate and see a trace of the steps a parity game solver took.
The CS Design Project module is one of the two final modules of the Bachelor. In the design component of this module, students show that they master the entire design trajectory, from the first informal specification of requirements by a client to the delivery and presentation of a well-documented working product. Projects are submitted by clients from either inside or outside the University. Students perform the project in groups of 3-5 students under the supervision of a teacher from the Department of Computer Science. The supervisor is also the one who assesses the process and products of the group. Project deliverables include a project proposal, a design report, a presentation and a poster.
Try it now!
View the full design report for this project.
Do you ever draw a parity game example on a whiteboard? You never have to do this again. ParityGames.io is a GUI that will meet your needs as a parity game researcher or educator. It allows you to import, create and modify parity game and their diagrams with ease. We provide quality-of-life features like undo & redo, automatic layout and locked node groups. For any parity game, with the press of a button, you can generate and see a trace of the steps a parity game solver took.
The CS Design Project module is one of the two final modules of the Bachelor. In the design component of this module, students show that they master the entire design trajectory, from the first informal specification of requirements by a client to the delivery and presentation of a well-documented working product. Projects are submitted by clients from either inside or outside the University. Students perform the project in groups of 3-5 students under the supervision of a teacher from the Department of Computer Science. The supervisor is also the one who assesses the process and products of the group. Project deliverables include a project proposal, a design report, a presentation and a poster.
Try it now!
View the full design report for this project.