Login / Signup
Model checking service compositions under resource constraints.
Howard Foster
Wolfgang Emmerich
Jeff Kramer
Jeff Magee
David S. Rosenblum
Sebastián Uchitel
Published in:
ESEC/SIGSOFT FSE (2007)
Keyphrases
</>
resource constraints
model checking
service compositions
temporal logic
service providers
web services
model checker
automated verification
formal specification
formal verification
service composition
symbolic model checking
temporal constraints
computation tree logic
temporal properties
routing problem
epistemic logic
formal methods
verification method
timed automata
concurrent systems
bounded model checking
transition systems
linear temporal logic
reactive systems
modal logic