David BlubaughWe are in the process of evaluating the COQ theorem prover to determine if the Verified Software Toolchain from the COQ theorem prover can be extended to C programs such as DOOM by Id Software.
We might also be extending this project to use the COQ theorem prover as well.
A project log for DOOM SOURCE CODE - SOFTWARE ARCHAEOLOGY- ISABELLE
Doom Video Game Source code being analyzed by the Isabelle HOL automated theorem prover. This is done to help develop an on-line course on
Discussions
Become a Hackaday.io Member
Create an account to leave a comment. Already have an account? Log In.