iCIS
Automata Wiki
ABP-AartsEtAl2012
ASMLRERS-YangEtAl2019
Bankcard-AartsEtAl2013
BLE-PferscherEtAl2022
BLE-Schnor2025
BRP-AartsEtAl2012
Circuits-FiserEtAl2018
CoffeeMachine-SteffenEtAl2011
DTLS-Fiterau-BrosteanEtAl2020
DTLS-Fiterau-BrosteanEtAl2023
Edentifier2-ChaluparEtAl2014
ESMcontroller-SmeenkEtAl2015
FIFOset-AartsEtAl2014
FromRhapsodyToDezyne-SchutsEtAl2018
FWGC-AartsEtAl2012
Login-AartsEtAl2012
Map
Moore-RivestShapire1993
MQTT-TapplerEtAl2017
MultiLogin-AartsEtAl2015
OPC-UA-VanEtAl2024
Passport-AartsEtAl2010
Queue-AartsEtAl2014
QUIC-FerreiraEtAl2021
QUIC-Rasool2018
RandomDFA-NeiderEtAl2019
RandomMoore-NeiderEtAl2019
RepdigitPalindrome-AartsEtAl2012
SIP-AartsEtAl2010
SMTP-BernasEtAl2025
SSH-Fiterau-BrosteanEtAl2017
SSH-Fiterau-BrosteanEtAl2023
Stack-AartsEtAl2014
TCP-Fiterau-BrosteanEtAl2016
TLS-Janssen2021
TLS-RuiterEtAl2015
ToyDFA
ToyDFIA
ToyModels
ToyMoore
XrayPowerControlService-SchutsEtAl2016
select tag
All
Datastructure
Industry
Protocol
Random
Register
Security
Toy
↑
To Benchmarks
Bibliography
NameBenchmark
Description
Benchmark models
Moore
print
·
login
Home
»
BenchmarkMoore-RivestShapire1993
»
Moore
Moore models
crossword10x10.dot
crossword11x11.dot
crossword12x12.dot
crossword2x2.dot
crossword3x3.dot
crossword4x4.dot
crossword5x5.dot
crossword6x6.dot
crossword7x7.dot
crossword8x8.dot
crossword9x9.dot
grid2x2.dot
grid2x3.dot
grid2x4.dot
grid2x5.dot
grid3x3.dot
grid3x4.dot
register10.dot
register11.dot
register12.dot
register13.dot
register14.dot
register15.dot
register16.dot
register2.dot
register3.dot
register4.dot
register5.dot
register6.dot
register7.dot
register8.dot
register9.dot
