2 papers
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…
cs.LO2022
SMT-Based Model Checking of Industrial Simulink Models
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki +3
The development of embedded systems requires formal analysis of models such as those described with MATLAB/Simulink. However, the increasing complexity of industrial models makes a…