Publikation
Sören Tempel, Vladimir Herdt, Rolf Drechsler
In: 58th Design Automation Conference (DAC). Design Automation Conference (DAC-2021) December 5-9 San Francisco CA United States 2021.
@inproceedings{pub11508, author = { Tempel, Sören and Herdt, Vladimir and Drechsler, Rolf }, title = {Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing}, booktitle = {58th Design Automation Conference (DAC). Design Automation Conference (DAC-2021), December 5-9, San Francisco, CA, United States}, year = {2021} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
Fax: +49 631 20575 5030
© DFKI, 2022