Statically and dynamically verifiable SLA metrics