specifications¶
Formal consensus properties, weighted quorum consensus, and bidirectional MAS theory mappings.
Formal specifications for distributed protocols.
This module provides executable specifications for verifying correctness of consensus and coordination protocols.
Submodules¶
| Module | Description |
|---|---|
consensus_spec |
Consensus properties — Agreement, Validity, Integrity, Termination |
weighted_consensus_spec |
Weighted quorum consensus with \(2W/3\) threshold |
mas_mappings |
MAS theory mappings — BDI, Joint Intentions, SharedPlans, Contract Net |