Project Abstract

Motivation and background:The project aims to combat digital game cheating, enhancing the authenticity and player confidence in virtual gaming environments. It uses formal modelling and verification to ensure fairness and reliability. The project also aims to expand theoretical foundations in software engineering and introduce formal methods in game development, contributing to global computational science advancement and a more attractive virtual reality.Main Aim:The project aims to select a hack-evidence computer game such as Tic-Tac-Toe with formal modelling and verification methods, thereby making sure of both fairness and integrity�?in�?gameplay.Methods employed:The project aims to create a computerized game like Tic-Tac-Toe, ensuring game integrity and a fair gaming experience. It focuses on using computer science theory to ensure fairness and credibility in game development and numerical science, contributing to the fields of game development and numerical science.Main Findings:Cheating in digital games can lead to higher rewards for players who exploit glitches, use illegal software, and manipulate game data. This can destroy fair competition and gaming enjoyment. Stopping cheating requires stringent solutions to preserve equality and integrity, as it can undermine trust and authenticity in gaming communities and platforms.

Keywords: Cheat-proof Design, Trust, Logic

 Conference Details

Session: Presentation Stream 27 at Presentation Slot 2

Location: GH029 at Wednesday 8th 13:30 – 17:00

Markers: Deb Roy, Oliver Kullmann

Course: MSc Advanced Computer Science, Masters PG

Future Plans: I’m looking for an industry placement