Web-Stack Games
Godot, Unity, and Unreal are described as contract-compatible in principle but require future engine-native adapters. GameGen-Verifier was not experimentally validated on Godot, Unity, or Unreal Engine. Web-stack games are practical for th…
1 sources - 5 claims
Godot, Unity, and Unreal are described as contract-compatible in principle but require future engine-native adapters. GameGen-Verifier was not experimentally validated on Godot, Unity, or Unreal Engine. Web-stack games are practical for the method because browser runtimes and JavaScript objects are mutable and inspectable. The experiments focus on web-stack games written in JavaScript, TypeScript, or HTML. The immediate implications of the approach are strongest for web-stack games.