BAS IEC 62531:2010
Standard for property specification language (PSL)
General Information
Status: Published
No. of pages: 152
Language: English
Edition: 1.
Adoption method: Endorsment
Publication date: 19.12.2010
Technical committee:
...
Abstract
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.
Lifecycle
...
Original document and degree of correspondence
- IEC 62531:2007, identical