SMT-Based Model Checking of Industrial Simulink Models.

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai

Browse the full ICFEM paper archive.