Verification of Embedded Software Binaries using Virtual Prototypes

2020 ◽  
pp. 143-174
Author(s):  
Vladimir Herdt ◽  
Daniel Große ◽  
Rolf Drechsler
2010 ◽  
Vol 130 (3) ◽  
pp. 496-502
Author(s):  
Yoshiyuki Anan ◽  
Toyoshiro Nakashima ◽  
Kazunori Iwata ◽  
Hiroshi Yonemitsu ◽  
Tetsu Yoshioka ◽  
...  

2014 ◽  
Author(s):  
Sudipta Chattopadhyay ◽  
Abhik Roychoudhury ◽  
Jakob Rosén ◽  
Petru Eles ◽  
Zebo Peng
Keyword(s):  

Author(s):  
Gabriel de Souza Pereira Moreira ◽  
Denis Ávila Montini ◽  
Daniela América da Silva ◽  
Felipe Rafael Motta Cardoso ◽  
Luiz Alberto Vieira Dias ◽  
...  

2021 ◽  
pp. 102135
Author(s):  
Vladimir Herdt ◽  
Daniel Große ◽  
Sören Tempel ◽  
Rolf Drechsler

Sign in / Sign up

Export Citation Format

Share Document