Generalized Quantitative Analysis of Metric Transition Systems.

Uli Fahrenberg Axel Legay

Published in: APLAS (2013)

Keyphrases

quantitative analysis
transition systems
model checking
concurrent systems
temporal logic
qualitative analysis
qualitative evaluation
qualitative and quantitative analysis
practical reasoning
finite state
control flow
search algorithm
reactive systems
case study
process model
model checker