McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits.
Imran Hafeez AbbassiFaiq KhalidOsman HasanAwais Mehmood KambohMuhammad ShafiquePublished in: IEEE Access (2018)
Keyphrases
- model checking
- integrated circuit
- temporal logic
- artifact centric
- symbolic model checking
- finite state machines
- abstract interpretation
- model checker
- partial order reduction
- formal methods
- reachability analysis
- automated verification
- formal specification
- information security
- ordered binary decision diagrams
- finite state
- transition systems
- bounded model checking
- software architecture