print · source · login   

Alternating Bit Protocol

data listing for zip file

Nice tabel view (not used in zip)

Benchmark NameDomainModelInputs/OutputsStatesTransitionsPublications
ABP Channel0-16 / 6530[AHKOV12][Aarts14]
ABP Channel0-211 / 1110110[AHKOV12][Aarts14]
ABP Channel0-318 / 1817306[AHKOV12][Aarts14]
ABP Channel0-427 / 2726702[AHKOV12][Aarts14]
ABP Channel0-538 / 38371406[AHKOV12][Aarts14]
ABP Channel0-651 / 51502550[AHKOV12][Aarts14]
ABP Channel0-766 / 66654290[AHKOV12][Aarts14]
ABP Channel0-883 / 83826806[AHKOV12][Aarts14]
ABP Channel0-9102 / 10210110302[AHKOV12][Aarts14]
ABP Channel0-10123 / 12312215006[AHKOV12][Aarts14]
ABP Receiver0-15 / 5420[AHKOV12][Aarts14]
ABP Receiver0-210 / 6440[AHKOV12][Aarts14]
ABP Receiver0-317 / 7468[AHKOV12][Aarts14]
ABP Receiver0-426 / 84104[AHKOV12][Aarts14]
ABP Receiver0-537 / 94148[AHKOV12][Aarts14]
ABP Receiver0-650 / 104200[AHKOV12][Aarts14]
ABP Receiver0-765 / 114260[AHKOV12][Aarts14]
ABP Receiver0-882 / 124328[AHKOV12][Aarts14]
ABP Receiver0-9101 / 134404[AHKOV12][Aarts14]
ABP Receiver0-10122 / 144488[AHKOV12][Aarts14]
ABP Sender0-15 / 61155[AHKOV12][Aarts14]
ABP Sender0-27 / 815105[AHKOV12][Aarts14]
ABP Sender0-39 / 1019171[AHKOV12][Aarts14]
ABP Sender0-411 / 1223253[AHKOV12][Aarts14]
ABP Sender0-513 / 1427351[AHKOV12][Aarts14]
ABP Sender0-615 / 1631465[AHKOV12][Aarts14]
ABP Sender0-717 / 1835595[AHKOV12][Aarts14]
ABP Sender0-819 / 2039741[AHKOV12][Aarts14]
ABP Sender0-921 / 2243903[AHKOV12][Aarts14]
ABP Sender0-1023 / 24471081[AHKOV12][Aarts14]