NUVA: Architectural support for runtime verification of parametric specifications over multicores.

Ahmed Nassar Fadi J. Kurdahi Wael M. Elsharkasy

Published in: CASES (2015)

Keyphrases

model checking
formal verification
neural network
decision support
automated verification
database
high level
information technology
end users
formal specification
concurrent systems