Logiciel Année : 2025

Pactole

Résumé

A Coq library dedicated to formally verifying distributed protocols for mobile robot swarms. The library implements various extensions of the Look-Compute-Move model, first proposed by Suzuki and Yamashita, providing a robust framework for protocol verification in different theoretical settings.
0 Consultations
0 Téléchargements

Partager

More