Detecting Harmful Race Conditions in SystemC Models Using Formal Techniques

Author(s):
Sven Beyer and Dominik Strasser