Formal Verification of Architectural Power Intent.

Aritra Hazra Sahil Goyal Pallab Dasgupta Ajit Pal

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2013)

Keyphrases

formal verification
model checking
bounded model checking
model checker
symbolic model checking
power consumption
automated verification
functional verification
software architecture
program slicing
high level
expert systems
temporal logic