Revised
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.
WITHDRAWN
IEC 62531:2007 ED1
99.60
Withdrawal effective
Jun 21, 2012
PUBLISHED
IEC 62531:2012 ED2