Conference contribution


An Open Alternative for SMT-based Verification of SCADE Models


Publication Details
Author(s): Basold H, Günther H, Huhn M, Milius S
Publisher: Springer
Publishing place: Heidelberg
Publication year: 2014
Title of series: Lecture Notes Comput. Sci.
Volume: 8718
Conference Proceedings Title: Proc. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14)
Pages range: 124-139
Event: FMICS'14
Event location: Florenz



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
Share link
Last updated on 2017-12-11 at 01:53
PDF downloaded successfully