iCIS
Automata Wiki
ABP
ASMLRERS-YangEtAl2019
Bankcard-AartsEtAl2013
BRP
Circuits
CoffeeMachine-SteffenEtAl2011
DTLS-Fiterau-BrosteanEtAl2020
Edentifier2-ChaluparEtAl2014
ESMcontroller-SmeenkEtAl2015
FIFOset
FromRhapsodyToDezyne-SchutsEtAl2018
FWGC
IEC60870-5-104
Login-AartsEtAl2012
Map
MQTT-TapplerEtAl2017
MultiLogin
Passport-AartsEtAl2010
Queue
QUICprotocol
RandomDFAs
RandomMoore
RepdigitPalindrome
SIP
SSH
Stack
TCP
TLS
ToyDFA
ToyDFIA
ToyModels
ToyMoore
XrayPowerControlService-SchutsEtAl2016
select tag
All
Datastructure
Industry
Protocol
Random
Register
Security
↑
To Benchmarks
Bibliography
Benchmark ABP
Description
The SUT
Benchmark models
Register
print
·
login
Home
»
BenchmarkABP
»
ExtraMealy
Alternating Bit Protocol
data listing for zip file
ABP_Channel_Frame.flat_0_10.dot
ABP_Channel_Frame.flat_0_1.dot
ABP_Channel_Frame.flat_0_2.dot
ABP_Channel_Frame.flat_0_3.dot
ABP_Channel_Frame.flat_0_4.dot
ABP_Channel_Frame.flat_0_5.dot
ABP_Channel_Frame.flat_0_6.dot
ABP_Channel_Frame.flat_0_7.dot
ABP_Channel_Frame.flat_0_8.dot
ABP_Channel_Frame.flat_0_9.dot
ABP_Receiver.flat_0_10.dot
ABP_Receiver.flat_0_1.dot
ABP_Receiver.flat_0_2.dot
ABP_Receiver.flat_0_3.dot
ABP_Receiver.flat_0_4.dot
ABP_Receiver.flat_0_5.dot
ABP_Receiver.flat_0_6.dot
ABP_Receiver.flat_0_7.dot
ABP_Receiver.flat_0_8.dot
ABP_Receiver.flat_0_9.dot
ABP_Sender.flat_0_10.dot
ABP_Sender.flat_0_1.dot
ABP_Sender.flat_0_2.dot
ABP_Sender.flat_0_3.dot
ABP_Sender.flat_0_4.dot
ABP_Sender.flat_0_5.dot
ABP_Sender.flat_0_6.dot
ABP_Sender.flat_0_7.dot
ABP_Sender.flat_0_8.dot
ABP_Sender.flat_0_9.dot
Nice tabel view (not used in zip)
Benchmark Name
Domain
Model
Inputs/Outputs
States
Transitions
Publications
ABP Channel
0-1
6 / 6
5
30
[
AHKOV12
][
Aarts14
]
ABP Channel
0-2
11 / 11
10
110
[
AHKOV12
][
Aarts14
]
ABP Channel
0-3
18 / 18
17
306
[
AHKOV12
][
Aarts14
]
ABP Channel
0-4
27 / 27
26
702
[
AHKOV12
][
Aarts14
]
ABP Channel
0-5
38 / 38
37
1406
[
AHKOV12
][
Aarts14
]
ABP Channel
0-6
51 / 51
50
2550
[
AHKOV12
][
Aarts14
]
ABP Channel
0-7
66 / 66
65
4290
[
AHKOV12
][
Aarts14
]
ABP Channel
0-8
83 / 83
82
6806
[
AHKOV12
][
Aarts14
]
ABP Channel
0-9
102 / 102
101
10302
[
AHKOV12
][
Aarts14
]
ABP Channel
0-10
123 / 123
122
15006
[
AHKOV12
][
Aarts14
]
ABP Receiver
0-1
5 / 5
4
20
[
AHKOV12
][
Aarts14
]
ABP Receiver
0-2
10 / 6
4
40
[
AHKOV12
][
Aarts14
]
ABP Receiver
0-3
17 / 7
4
68
[
AHKOV12
][
Aarts14
]
ABP Receiver
0-4
26 / 8
4
104
[
AHKOV12
][
Aarts14
]
ABP Receiver
0-5
37 / 9
4
148
[
AHKOV12
][
Aarts14
]
ABP Receiver
0-6
50 / 10
4
200
[
AHKOV12
][
Aarts14
]
ABP Receiver
0-7
65 / 11
4
260
[
AHKOV12
][
Aarts14
]
ABP Receiver
0-8
82 / 12
4
328
[
AHKOV12
][
Aarts14
]
ABP Receiver
0-9
101 / 13
4
404
[
AHKOV12
][
Aarts14
]
ABP Receiver
0-10
122 / 14
4
488
[
AHKOV12
][
Aarts14
]
ABP Sender
0-1
5 / 6
11
55
[
AHKOV12
][
Aarts14
]
ABP Sender
0-2
7 / 8
15
105
[
AHKOV12
][
Aarts14
]
ABP Sender
0-3
9 / 10
19
171
[
AHKOV12
][
Aarts14
]
ABP Sender
0-4
11 / 12
23
253
[
AHKOV12
][
Aarts14
]
ABP Sender
0-5
13 / 14
27
351
[
AHKOV12
][
Aarts14
]
ABP Sender
0-6
15 / 16
31
465
[
AHKOV12
][
Aarts14
]
ABP Sender
0-7
17 / 18
35
595
[
AHKOV12
][
Aarts14
]
ABP Sender
0-8
19 / 20
39
741
[
AHKOV12
][
Aarts14
]
ABP Sender
0-9
21 / 22
43
903
[
AHKOV12
][
Aarts14
]
ABP Sender
0-10
23 / 24
47
1081
[
AHKOV12
][
Aarts14
]
