collaborators

1 paper

cs.SE2026

Bit-Precise Conformance Testing of Simulink Model Checkers

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki +1

MATLAB/Simulink provides a practical modeling language and a simulation engine for the development of cyber-physical systems. To ensure the quality of the developed models, there a…