Obtaining Microprocessor Vulnerability Factor Using Formal Methods.

Syed Zafar Shazli Mehdi Baradaran Tahoori

Published in: DFT (2008)

Keyphrases

formal methods
formal analysis
formal specification
model checking
model checker
artificial intelligence
knowledge based systems
software engineering
provably correct
safety critical
process algebra
high speed
formal specification language
databases
special purpose hardware
design methodology
case study