Formal verification of taint-propagation security properties in a commercial SoC design.

Pramod Subramanyan Divya Arora

Published in: DATE (2014)

Keyphrases

formal verification
security properties
model checking
knowledge based systems
model checker
real time
case study
embedded systems
formal methods
bounded model checking
software engineering
software architecture
formal model