@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} }