1850-2005 - IEEE Standard for Property Specification Language (PSL)
Standard Details
Replaced by 62531(E):2007. The IEEE Property Specification Language (PSL) is defined in this standard. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages, including IEEE St
Standards Committee
Superseded by
Board Approval
Additional Resources Details
Working Group Details
Working Group
Working Group Chair
Standards Committee
IEEE Program Manager
Existing Standards