-- Resource allocation verification

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

assert UserSpec([P, 0]) [F= Abs([P, 0],$essentialComponent.getName())

assert ResourceSpec([P, 1]) [F= Abs([P, 1],$essentialComponent.getName())
