Hierarchy-Preserving Formal Verification Methods for Pre-silicon Security Assurance.

Xiaolong Guo Raj Gautam Dutta Yier Jin

Published in: MTV (2015)

Keyphrases

formal verification
neural network
information security
computational cost
benchmark datasets
artificial intelligence
preprocessing
software engineering
access control
model checking
statistical databases
high density
security issues
symbolic model checking