Automatic RTL-to-Formal Code Converter for IP Security Formal Verification.

Xiaolong Guo Raj Gautam Dutta Prabhat Mishra Yier Jin

Published in: MTV (2016)

Keyphrases

formal verification
program slicing
model checking
model checker
formal specification
symbolic model checking
source code
intrusion detection
information security
bounded model checking
virtual private network
model based diagnosis
security requirements
data conversion
protection scheme