Towards Formal Verification of Real-World SystemC TLM Peripheral Models - A Case Study

@inproceedings{pub8149,
    author = {

Le, Hoang M.
 and 

Herdt, Vladimir
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {Towards Formal Verification of Real-World SystemC TLM Peripheral Models - A Case Study},
    booktitle = {Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany},
    year = {2016},
    pages = {1160--1163}
}