CAP: Protocol artifacts for "A Model-Checked Coordination Protocol for Shared-Resource Handover in Autonomous Earthwork Fleets"
Rattachement africain : jp. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
Software artifacts accompanying the manuscript "CAP: A Model-Checked Coordination Protocol for Shared-Resource Handover in Autonomous Earthwork Fleets" (submitted to Automation in Construction). This versioned snapshot bundles five public repositories at the commits cited in the paper: cap-spec (TLA+ specifications, Protocol Buffers, model-checking), cap-reference (language-binding SDKs and refinement checker), cap-conformance (conformance suite), cap-coordination-kit (deterministic operational-P4, sensitivity surface, lease-lock, and runtime monitor reproductions), and cap-bench (fault-injection campaign, fleet-size sweep, and one-command reproduction). See MANIFEST.txt for the exact commit pins.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
Les institutions déclarées
Une affiliation ne permet pas de déduire la nationalité d’un auteur.