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

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

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:

Previous log

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

Next log

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

Discussions

David Blubaugh wrote 05/18/2020 at 21:04

Also there is another video that supports what John Romero states even further....

Are you sure? yes | no