Scandal: Systemc analysis for nondeterminism anomalies

Christoph Schumacher, Jan Weinstock, Rainer Leupers, Gerd Ascheid. Scandal: Systemc analysis for nondeterminism anomalies. In Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012. pages 112-119, IEEE, 2012. [doi]

Abstract

Abstract is missing.