Published April 8, 2026 | Version v1
Software Open

Bit-Precise Conformance Testing of Simulink Model Checkers

Authors/Creators

  • 1. JAIST

Description

This package provides a test suite and experimental results for the following QRS'26 submission:

D. Ishii, T. Tomita, T. Aoki and H. Takai: Bit-Precise Conformance Testing of Simulink Model Checkers.

See 00README.md for details.

Files

2026-04_smc-test-data.zip

Files (149.6 MB)

Name Size
md5:51a67edb3dce75bfb40751aeb0ca8bb7
149.6 MB Preview Download