Login / Signup
ForEVeR: A complementary formal and runtime verification approach to correct NoC functionality.
Ritesh Parikh
Valeria Bertacco
Published in:
ACM Trans. Embed. Comput. Syst. (2014)
Keyphrases
</>
formal methods
formal analysis
model checking
formal model
verification method
artificial intelligence
multi processor
face verification
formal verification
intrusion detection
routing algorithm
mathematical theory
network on chip
data sets
signature verification
distributed systems
image processing
neural network