Publikation
Sören Tempel, Vladimir Herdt, Rolf Drechsler
In: 4th Workshop on RISC-V Activities. Workshop on RISC-V Activities December 2-2 virtuell 2021.
@inproceedings{pub12147, author = { Tempel, Sören and Herdt, Vladimir and Drechsler, Rolf }, title = {Verification of RISC-V Embedded Software by Integrating Concolic Testing with SystemC-based Virtual Prototypes}, booktitle = {4th Workshop on RISC-V Activities. Workshop on RISC-V Activities, December 2-2, virtuell}, 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