Formal Verification of Multi-Thread Minimax Behavior Using mCRL2 in the Connect 4

Formal Verification of Multi-Thread Minimax Behavior Using mCRL2 in the Connect 4

This study focuses on the formal verification of a parallel version of the minimax algorithm using the mCRL2 modeling language, applied to the game of Connect 4. The research aims to ensure that the algorithm behaves correctly in concurrent execution environments by providing a formal model and cond...

Full description

Saved in:
Bibliographic Details
Main Authors: Diego Escobar, Jesus Insuasti
Format: Article
Language:English
Published: MDPI AG 2024-12-01
Series:Mathematics
Subjects:
minimax
multithreaded
algorithm
formal
verification
mCRL2
Online Access:https://www.mdpi.com/2227-7390/13/1/96
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items