IEC 62531
IEC 62531:2012
Property Specification Language (PSL)
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.
CHFÂ 475.-
Technical committee
TC 91 Electronics assembly technology| Publication type | International Standard |
| Publication date | 2012-06-21 |
| Edition | 2.0 |
| ICS | 25.040.01 35.060 |
| Stability date | 2030 |
| ISBN number | 9782832201060 |
| Pages | 174 |
| File size | 1.61 MB |
Strengthen the means of implementation and revitalize the global partnership for sustainable development