Probabilistic model checking for energy analysis in software product lines.

Clemens Dubslaff Sascha Klüppelholz Christel Baier

Published in: MODULARITY (2014)

Keyphrases

model checking
temporal logic
finite state
symbolic model checking
formal verification
temporal properties
transition systems
abstract interpretation
verification method
automated verification
software engineering
model checker
software product line
pspace complete
timed automata