Login / Signup
Abstract Modeling and Formal Verification of Microprocessors.
Ziyad Hanna
Published in:
CSR (2007)
Keyphrases
</>
neural network
formal verification
model checking
higher level
orders of magnitude
computer architecture
model checker
symbolic model checking
automated verification
program slicing
data sets
high level
bounded model checking
modeling method