Verifying Simulink diagrams via a Hybrid Hoare Logic Prover.

Liang Zou, Naijun Zhan, Shuling Wang, Martin Frnzle, Shengchao Qin

Browse the full EMSOFT paper archive.