Towards Comprehensive Verification of Hardware and Software for RISC-V based Embedded Systems

@inproceedings{pub13289,
    author = {

Bruns, Niklas
 and 

Ahmadi-Pour, Sallar
 and 

Tempel, Sören
 and 

Drechsler, Rolf
},
    title = {Towards Comprehensive Verification of Hardware and Software for RISC-V based Embedded Systems},
    booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2023), March 23-24},
    year = {2023}
}