@inproceedings{KS2005, title = "Formal Verification of {SystemC} by Automatic Hardware/Software Partitioning", author = "Kroening, Daniel and Sharygina, Natasha", year = "2005", booktitle = "Proceedings of MEMOCODE 2005", pages = "101--110", publisher = "IEEE", }