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

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

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

Previous log

Excellent Youtube video on DOOM Monster AI

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

Next log

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

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

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

Excellent Youtube video on DOOM Monster AI

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

Discussions

Become a Hackaday.io Member