[Back]

@inproceedings{elshuber13[TUW-218914],
    author = {Elshuber, Martin and Kandl, Susanne and Puschner, Peter},
    title = {Improving System-Level Verification of SystemC Models with SPIN},
    booktitle = {1st French Singaporean Workshop on Formal Methods and Applications},
    year = {2013},
    numpages = {6},
    isbn = {978-3-939897-56-9},
    doi = {10.4230/OASIcs.FSFMA.2013.74},
    keywords = {SystemC, SPIN, Promela, System-Level Verification},
    note = {talk: 1st French Singaporean Workshop on Formal Methods and Applications, Singapore; 2013-07-15 -- 2013-07-16}
}