Login / Signup
Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification.
Zeinab Sharifi
Mahdi Mosaffa
Siamak Mohammadi
Marjan Sirjani
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)
Keyphrases
</>
formal verification
model checking
functional units
functional verification
automated verification
computer networks
network model
peer to peer
model checker
high speed
bounded model checking
complex networks
network traffic
artificial intelligence
network structure
wireless sensor networks
reinforcement learning