Model Program Attributes

Model programs are created by using a set of custom attributes and predefined types that determine the interpretation in Spec Explorer of various programming elements. This section describes the attributes used in Model Programs.