IEEE - Institute of Electrical and Electronics Engineers, Inc. - 1850-2005

IEEE Standard for Property Specification Language (PSL)

active - Superseded by
Buy Now
Sponsor(s): Inst. Electr. & Electron. Eng., New York, NY
Organization: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 17 October 2005
Status: active
Page(s): 1 - 143
ICS Code (Languages used in information technology): 35.060
ISBN (Electronic): 978-0-7381-4780-2
DOI: 10.1109/IEEESTD.2005.97780
Regular:

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... View More

Standard:

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... View More

Document History

April 6, 2010
IEEE Standard for Property Specification Language (PSL)
The IEEE Property Specification Language (PSL) is defined. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages,...
April 6, 2010
IEEE Standard for Property Specification Language (PSL)
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...
April 6, 2010
IEEE Standard for Property Specification Language (PSL) - Redline
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...
1850-2005
October 17, 2005
IEEE Standard for Property Specification Language (PSL)
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...
January 1, 2005
Approved IEEE Draft Standard for Property Specification Language (PSL) (Replaced by IEEE 1850-2005)
A description is not available for this item.
Advertisement