With network-on-chip (NoC) as the fundamental communication paradigm for many core architectures, we need to be able to evaluate its correctness. In this paper we propose a …
Today's networked systems are becoming increasingly complex and diverse. The current simulation and runtime verification techniques do not provide support for developing such …