This standard BS IEC 62531:2012 IEEE standard for property specification language (PSL) is classified in these ICS categories:
35.060 Languages used in information technology
25.040.01 Industrial automation systems in general
This standard defines the property specification language (PSL), which formally describes electronic system behavior. This standard specifies the syntax and semantics for PSL and also clarifies how PSL interfaces with various standard electronic system design languages.