Automatic verification of application-tailored OSEK kernels

Deifel HP, Göttlinger M, Milius S, Schröder L, Dietrich C, Lohmann D (2017)

Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2017

Publisher: IEEE

Pages Range: 196--203

Conference Proceedings Title: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017

DOI: 10.23919/FMCAD.2017.8102260

Authors with CRIS profile

Hans-Peter Deifel Lehrstuhl für Informatik 8 (Theoretische Informatik) Merlin Humml Lehrstuhl für Informatik 8 (Theoretische Informatik) Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik) Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Coalgebra-based generic decision procedures and complexity bounds for modal and hybrid logics (GenMod) May 1, 2008 - Sept. 30, 2016

Involved external institutions

Gottfried Wilhelm Leibniz Universität Hannover

Germany (DE)

How to cite

APA:

Deifel, H.-P., Göttlinger, M., Milius, S., Schröder, L., Dietrich, C., & Lohmann, D. (2017). Automatic verification of application-tailored OSEK kernels. In 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 (pp. 196--203). IEEE.

MLA:

Deifel, Hans-Peter, et al. "Automatic verification of application-tailored OSEK kernels." Proceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 IEEE, 2017. 196--203.

BibTeX: Download