Project Logs

Collapse

• This Project is Dedicated to all of the Masters of DOOM and ID Software

  David Blubaugh • 05/18/2020 at 20:27 • 0 comments

  This Project is Dedicated to all of the ORIGINAL Masters of DOOM and ID Software....

• Excellent Youtube Video by John Romero on software failures caused by Number Theory within Quake's Development back in 1996.

  David Blubaugh • 05/17/2020 at 05:27 • 1 comment

  TO ALL WITH ANY INTEREST

  PLEASE LOOK TO MINUTE  27:49 out of the 50 minutes and 5 seconds. during the QUICK STORY told by John Romero himself.  

  This shows a definite need for formal verification and validation for video games development.   

  The hyperlink is as follows:   

  https://www.youtube.com/watch?v=KFziBfvAFnM
  

• We might also be extending this project to use the COQ theorem prover as well.

  David Blubaugh • 05/17/2020 at 04:19 • 0 comments

  We 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.   

• "Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann

  David Blubaugh • 05/15/2020 at 02:32 • 0 comments

  This is an excellent youtube video by Martin Kleppmann.  

  https://www.youtube.com/watch?v=7w4KC6i9Yac
  

  I will be using this to verify and validate that the source code within DOOM that handles the internet deathmatching capabilities will be verified and validated...   

  I have added this youtube link for further reference.....   

• Excellent Youtube video on DOOM Monster AI

  David Blubaugh • 05/11/2020 at 08:43 • 0 comments

  Excellent Youtube video on DOOM Monster AI

  Please watch ............
  

  https://www.youtube.com/watch?v=f3O9P9x1eCE
  

• Excellent Youtube video on DOOM Monster AI

  David Blubaugh • 05/11/2020 at 08:40 • 0 comments

  Excellent Youtube video on DOOM Monster AI

  Please watch ............
  

  https://www.youtube.com/watch?v=f3O9P9x1eCE
  

• Uploaded Masters thesis file that will be used as a corner stone to refactoring the DOOM source code.

  David Blubaugh • 05/08/2020 at 05:24 • 0 comments

  Uploaded Masters thesis file that will be used as a corner stone to refactoring the DOOM source code. I am currently working with a person from Microsoft Research that will be used as a reference. I strongly this is going to be an interesting project endeavor. This will form as an excellent educational program to develop online courses that will utilize the DOOM source code as a training material for understanding legacy software for people who have not written that source code before, but must understand it for the sake of preventing of being FIRED by his employer.

View all 7 project logs