Probabilistic Model Checking for Energy Analysis in Software Product Lines.

Clemens Dubslaff Sascha Klüppelholz Christel Baier

Published in: CoRR (2013)

Keyphrases

model checking
temporal logic
abstract interpretation
finite state
formal verification
symbolic model checking
bayesian networks
temporal properties
verification method
knowledge based systems
future directions
formal specification
software product line