Standard

IEC 62531:2012 ED2

Current

Existing or new amendments and versions must be purchased separately.

Language
Services

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.

Products specifications

  • Standard from IEEE
  • Published:
  • Edition: 2
  • Document type: IS
  • Pages
  • Publisher: IEEE
  • Distributor: IEEE
  • ICS: 25.040.01
  • ICS: 35.060
  • International TC: TC 91

Product Relations

Product life cycle