-- Resource allocation verification

include "ResourceAllocationPattern.csp"
include "ResourceAllocationDescription${name}.csp"

assert UserSpec([P, 0]) [F= Abs([P, 0],Comp)

assert ResourceSpec([P, 1]) [F= Abs([P, 1],Comp)
