NEN-IEC 62531
Property Specification Language (PSL)
active, Most Current
| Organization: | NEN |
| Publication Date: | 1 June 2012 |
| Status: | active |
| Page Count: | 190 |
| ICS Code (Languages used in information technology): | 35.060 |
| ICS Code (Industrial automation systems): | 25.040 |
scope:
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.
Document History
NEN-IEC 62531
June 1, 2012
Property Specification Language (PSL)
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...
December 1, 2007
Standard for Property Specification Language (PSL)
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...