Verifying Simulink diagrams via a Hybrid Hoare Logic Prover

Liang Zou, Naijun Zhany, Shuling Wang, Martin Fränzle, Shengchao Qin

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Fingerprint Dive into the research topics of 'Verifying Simulink diagrams via a Hybrid Hoare Logic Prover'. Together they form a unique fingerprint.

    Engineering & Materials Science