C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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