An Open Alternative for SMT-based Verification of SCADE Models

Basold H, Günther H, Huhn M, Milius S (2014)


Publication Type: Conference contribution

Publication year: 2014

Publisher: Springer

Series: Lecture Notes Comput. Sci.

City/Town: Heidelberg

Book Volume: 8718

Pages Range: 124-139

Conference Proceedings Title: Proc. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14)

Event location: Florenz

URI: http://www8.cs.fau.de/publications

Authors with CRIS profile

Involved external institutions

How to cite

APA:

Basold, H., Günther, H., Huhn, M., & Milius, S. (2014). An Open Alternative for SMT-based Verification of SCADE Models. In Proc. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14) (pp. 124-139). Florenz: Heidelberg: Springer.

MLA:

Basold, Henning, et al. "An Open Alternative for SMT-based Verification of SCADE Models." Proceedings of the FMICS'14, Florenz Heidelberg: Springer, 2014. 124-139.

BibTeX: Download