| Name | Description |
|---|---|
| PropertyInput | 'input Property' as connector |
| PropertyOutput | 'output Property' as connector |
| PropertyVectorInput | Property input connector used for vector of connectors |
| EventInput | 'input Event' as connector |
| EventOutput | 'output Event' as connector |
| PartialSystem | Block defining properties2 of a system |
| PartialEnvironment | Block defining properties2 of the environment |
| PropertyFunction | Icon for functions returning a variable of type Property |
| PartialBooleanVISO | Partial block with a BooleanVectorInput and a BooleanOutput signal |
| PartialPropertyVISO | Partial block with a PropertyVectorInput and a PropertyOutput signal |
| PartialExpression | Icon for expression block |
| PartialConstant | Icon for Constant block |
| partialThresholdComparison | Partial block to compare the Real input u with a threshold and provide the result as 1 Boolean output signal |
| PartialTriggeredMovingWindow | Icon and equationns for a block with a trigger signal and a moving time window |
| PartialCheck | Interfaces and icon for check block |
| PartialCheckInSlidingWindowWithBooleanOutput | Interfaces and icon for check block that evaluates a property in a sliding time window and returns the result as Boolean |
| PartialCheckInSlidingWindowWithPropertyOutput | Interfaces and icon for check block that evaluates a property in a sliding time window and returns the result as Property |
| PartialConversion | Icon for conversion block |
| ObservationID | Identification of instance from which observations are used |
| PartialRequirement | Common properties of all requirement blocks |
| PartialWatching | Partial definition of watch record to observe the signals from a source |
| PartialRequirements | Partial requirements block |
| PartialVerify | Partial model containing the common interfaces to check requirements |