Login / Signup
Non-Invasive Hardware Trojans Modeling and Insertion: A Formal Verification Approach.
Hala Ibrahim
Haytham Azmi
M. Watheq El-Kharashi
Mona Safar
Published in:
J. Electron. Test. (2024)
Keyphrases
</>
formal verification
model checking
hardware and software
real time
automated verification
artificial intelligence
model checker
bounded model checking
mathematical morphology
modeling language
symbolic model checking
program slicing