Symbolic Execution for RISC-V Embedded Software Using SystemC Peripheral Models

@inproceedings{pub12717,
    author = {

Tempel, Sören
 and 

Herdt, Vladimir
 and 

Drechsler, Rolf
},
    title = {Symbolic Execution for RISC-V Embedded Software Using SystemC Peripheral Models},
    booktitle = {3rd International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, September 15-16, London, United Kingdom},
    year = {2022}
}