BS IEC 62531:2012
Current
The latest, up-to-date edition.
IEEE standard for property specification language (PSL)
Hardcopy , PDF
English
31-08-2012
1. Overview
2. Normative references
3. Definitions, acronyms, and abbreviations
4. Organization
5. Boolean layer
6. Temporal layer
7. Verification layer
8. Modeling layer
9. Scope and visibility rules
Annex A (normative) - Syntax rule summary
Annex B (normative) - Formal Syntax and Semantics
of IEEE Std 1850 Property Specification
Language (PSL)
Annex C (informative) - Bibliography
Annex D (informative) - IEEE List of Participants
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.