Publikation

VP-based DIFT for Embedded Binaries: A RISC-V Case Study

Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler

In: 24. Workshop 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-2021) March 18-19 München/Virtual Germany 2021.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence