Login / Signup
FVCAG: A framework for formal verification driven power modeling and verification.
Arun Joseph
Spandana Rachamalla
Rahul M. Rao
Anand Haridass
Pradeep Kumar Nalla
Published in:
ISLPED (2016)
Keyphrases
</>
formal verification
model checking
modeling framework
main contribution
data sets
theoretical framework
model checker
symbolic model checking
automated verification
functional verification
probabilistic model
domain specific
model driven