Automata Wiki

↑ To Benchmarks
Bibliography

NameBenchmark

Description

Benchmark models

Mealy

print · login

Home » BenchmarkDTLS-Fiterau-BrosteanEtAl2023 » Mealy

Mealy models

The models are retrieved from the artifact [FJST23A]

ctinydtls_client_ecdhe_cert.dot
ctinydtls_ecdhe_cert_req_server.dot
etinydtls_client_ecdhe_cert.dot
etinydtls_ecdhe_cert_req_server.dot
gnutls-3.5.19_all_cert_req_server.dot
gnutls-3.6.7_all_cert_req_server.dot
gnutls-3.6.7_client_dhe_ecdhe_rsa_cert_reneg.dot
gnutls-3.7.1_all_cert_req_server.dot
gnutls-3.7.1_client_dhe_ecdhe_rsa_cert_reneg.dot
jsse-12.0.2_client_ecdhe_cert.dot
jsse-12.0.2_ecdhe_cert_req_server.dot
jsse-16.0.1_client_ecdhe_cert.dot
jsse-16.0.1_ecdhe_cert_req_server.dot
mbedtls-2.16.1_all_cert_req_server.dot
mbedtls-2.16.1_client_dhe_ecdhe_rsa_cert_reneg.dot
mbedtls-2.26.0_all_cert_req_server.dot
mbedtls-2.26.0_client_dhe_ecdhe_rsa_cert_reneg.dot
openssl-1.1.1b_all_cert_req_server.dot
openssl-1.1.1b_client_dhe_ecdhe_rsa_cert_reneg.dot
openssl-1.1.1k_all_cert_req_server.dot
openssl-1.1.1k_client_dhe_ecdhe_rsa_cert_reneg.dot
piondtls-2.0.9_client_ecdhe_cert.dot
piondtls-2.0.9_ecdhe_cert_req_server.dot
piondtls-usenix_client_ecdhe_cert.dot
piondtls-usenix_ecdhe_cert_req_server.dot
scandium-2.0.0-M16_client_ecdhe_cert.dot
scandium-2.0.0-M16_ecdhe_cert_req_server.dot
scandium-2.6.2_client_ecdhe_cert.dot
scandium-2.6.2_ecdhe_cert_req_server.dot
wolfssl-4.0.0_client_psk.dot
wolfssl-4.0.0_psk_server.dot
wolfssl-4.7.1r_client_psk.dot
wolfssl-4.7.1r_psk_server.dot