Back

IEC 62531:2012

Property Specification Language (PSL)

General information
Valid from 21.06.2012
Directives or regulations
None

Standard history

Status
Date
Type
Name
21.06.2012
Main
IEC 62531:2012(E) 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. This second edition cancels and replaces the first edition, published in 2007, and constitutes a technical revision.
*
*
*
PDF
557.22 € incl tax
Standard monitoring