Stream: Beginner Questions

Topic: Video Game Verification

view this post on Zulip Maximilian Schäffeler (May 15 2026 at 09:05):

I am not aware of any projects for Isabelle/HOL. In principle this might be achieved using sth. like AutoCorres2.

view this post on Zulip Mathias Fleury (May 15 2026 at 09:08):

the hard part is: what is the specification?

view this post on Zulip Maximilian Schäffeler (May 15 2026 at 09:08):

There might be some interesting properties for multiplayer games, maybe?

view this post on Zulip Mathias Fleury (May 15 2026 at 09:08):

the network side I agree

view this post on Zulip Mathias Fleury (May 15 2026 at 09:09):

but it is not really game verification

view this post on Zulip Lukas Stevens (May 15 2026 at 09:09):

You could start with "at least the sign is correct" :smile:

Last updated: May 17 2026 at 06:46 UTC