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

IEEE Standard for Property Specification Language (PSL)

active - Revision of
Buy Now
Organization: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 6 April 2010
Status: active
Page(s): 1 - 182
ICS Code (Languages used in information technology): 35.060
ISBN (Electronic): 978-0-7381-6255-3
DOI: 10.1109/IEEESTD.2010.5446004
Regular:

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

Standard:

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

Document History

1850-2010
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...
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,...
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