Trade-off analysis meets probabilistic model checking.

Christel Baier Clemens Dubslaff Sascha Klüppelholz

Published in: CSL-LICS (2014)

Keyphrases

model checking
trade off
temporal logic
formal verification
automated verification
formal specification
finite state
verification method
formal methods
temporal properties
knowledge base
state space
model checker
reactive systems
process algebra
reachability analysis