Enforcing Resource Bounds via Static Verification of Dynamic Checks.

Ajay Chander David Espinosa Nayeem Islam Peter Lee George C. Necula

Published in: ESOP (2005)

Keyphrases

upper bound
dynamic environments
dynamic analysis
lower bound
model checking
dynamic constraints
metadata
website
objective function
multi agent
resource allocation
resource management
upper and lower bounds
formal verification
dynamic resource allocation