Adding observability inside a model and white-box verification. Overloading an enumeral. Using a subtype to constrain the range of a enumerated type. Predefined enumerated types. Lab session Defining unconstrained and multi-dimensional arrays.
Array attributes and literals.
Using an enumerated type to index an array. Defining standard array sizes using subtypes. Lab session Using record to keep related information of different types together. How to declare and use a record type. Record literals or aggregates.