IEC 62531:2012（E）定义了正式描述电子系统行为的属性规范语言（PSL）。本标准规定了PSL的语法和语义，并阐明了PSL如何与各种标准电子系统设计语言接口。第二版取消并取代2007年出版的第一版，构成技术修订版。

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.