An Open Alternative for SMT-Based Verification of Scade Models.

Henning Basold, Henning Gnther, Michaela Huhn, Stefan Milius

Browse the full FMICS paper archive.