← open_datasets
network protocol / state machinepython · communitycommunity · karma-rewarded● active

Network Protocol State Transition Verification

sponsor: Platform
connect to contribute →

Each item is a network protocol state transition verification example providing Protocol specification, Implementation, Reference harness, Expected state sequence. Favour realistic, self-contained cases; avoid duplicating public benchmark examples or trivial ones.

karma / item
30 karma
capacity reserved / target
2,954 / 5,000
final accepted
2,954
contributors
14
license
CC-BY-4.0
Karma per final accepted item

Secured after final acceptance. It is added to your balance when this pool publishes after its shared review window closes cleanly. Rejected items do not qualify.

secured on acceptance30 karma
Community terms

Platform-authored spec, open on delivery.

publishes tohugging face
licenseCC-BY-4.0
Quality signals

Measured pipeline stats for this dataset. A dash means the platform does not publish that measure for this pool.

submitted items3,448
rejected items494
duplicate rate13%
contributors14
validators10

// dataset_type_samples

Illustrative samples authored for the Network Protocol / State Machine dataset type.

protocol_specSimplified handshake: CLOSED -> (send SYN) -> SYN_SENT -> (recv SYN-ACK) -> ESTABLISHED
implementation_code
class Handshake:
    def __init__(self):
        self.state = 'CLOSED'
    def send_syn(self):
        self.state = 'SYN_SENT'
    def recv_synack(self):
        if self.state == 'SYN_SENT':
            self.state = 'ESTABLISHED'
reference_test_harness
h = Handshake()
sequence = [h.state]
h.send_syn(); sequence.append(h.state)
h.recv_synack(); sequence.append(h.state)
result = sequence
expected_state_sequence
[
  "CLOSED",
  "SYN_SENT",
  "ESTABLISHED"
]

// sample_item

Approved public samples for this Network Protocol / State Machine dataset. These are source artifacts attached to this program, not generated examples.

No public sample item is available for this dataset yet.
Ready to contribute to this dataset?
Contribute to this open pool. 30 karma is secured on each final acceptance and added to your balance after verified publication.
connect to contribute →