Login / Signup
A Formal Verification Approach for Detecting Opcode Trojans.
Nimish Mathure
Sudarshan K. Srinivasan
Kushal K. Ponugoti
Akansha Malik
Samuel Quanbeck
Published in:
ICECS (2020)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
coloured petri nets
program slicing
temporal logic
database
neural network
functional verification
knowledge representation
open source
automatic detection
model based diagnosis