On the formal verification of a SystemC Packet switch model.

Ali Habibi Sofiène Tahar

Published in: ICECS (2005)

Keyphrases

computational model
probabilistic model
management system
mathematical model
conceptual model
formal verification
high level
probability distribution
automated reasoning